The following pages link to (Q4284985):
Displaying 29 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Sampled-data supervisory control (Q481359) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Multi-task implementation of multi-periodic synchronous programs (Q645055) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Dispatch sequences for embedded control models (Q858316) (← links)
- Reactive mode handling of flexible manufacturing systems (Q1005184) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Incremental bounded model checking for embedded software (Q1682291) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Testing interruptions in reactive systems (Q1941859) (← links)
- Continuous consensus via common knowledge (Q1954252) (← links)
- Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms (Q2251408) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter (Q2432129) (← links)
- Synchronous structures (Q2500524) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- Specifying and verifying reactive systems in a multi-language environment (Q2841282) (← links)
- REGULAR STATE MACHINES (Q4526933) (← links)
- (Q4789082) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)
- Automatic verification of parameterized networks of processes (Q5941103) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)
- A dynamic logic with branching modalities (Q6151608) (← links)
