Вы здесь

Главная

реактивный

Связанные издания:

Abstraction and Modular Verification of Infinite-State Reactive Systems
A Case Study in Verification Based on Trace Abstractions
A Compositional Semantics for Statecharts using Labeled Transition Systems
Action Refinement from a Logical Point of View
A Dense-Time Temporal Logic with Nice Compositionality Properties
Advanced Component Interface Specification
A Dynamic Approach to Timed Behaviour
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL
A Framework for the Specification of Reactive and Concurrent Systems in Z
An Abstract Account of Composition
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study
An Approach to the Description and Analysis of Hybrid Systems
An Automata-Theoretic Approach to Fair Realizability and Synthesis
An Improved Recipe for Specifying Reactive Systems in Z
A Reactive Constraint Logic Programming Scheme
A Reactive Logical Agent
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
A Translation of Statecharts to Esterel
Automated Temporal Reasoning about Reactive Systems
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
Automatic Verification of Sequential Infinite-State Processes
BDL: A Specialized Language for Per-Object Reactive Control
Best-first Search for Property Maintenance in Reactive Constraints Systems
Completeness and Consistency in Hierarchical State-Based Requirements
Compositional Verification of Reactive Systems Specified by Graph Transformation
CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
Correctness by Construction: Towards Verification in Hierarchical System Development
CTR: A Calculus of Timed Refinement
Data-flow Synchronous Languages
Defining Observation Objectives for Reactive and Distributed Systems
Derivation of the Input Conditional Formula from a Reactive System Specification in Temporal Logic
Distance Functions for Defaults in Reactive Systems
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion
Embedding Chaos
Event Automata as a Generic Model of Reactive Systems
Event-Driven FRP
Execution of Distributed Reactive Systems
Extending Statecharts with Temporal Logic
Finite-State Strategies in Regular Infinite Games
For a New Real-Time Methodology
Formal Development of Reactive Systems
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
From Action Systems to Modular Systems
From Implicit Specifications to Explicit Designs in Reactive System Development
Functional Reactive Animation
Fuzzy Situated-Automata Approach and Communication Network in Distributed System
Generalized Temporal Verification Diagrams
Graphical Design of Reactive Systems
Hybrid Models with Fairness and Distributed Clocks