Pages that link to "Item:Q5494311"
From MaRDI portal
The following pages link to Formal Methods for the Design of Real-Time Systems (Q5494311):
Displayed 16 items.
- IF-2.0 (Q15835) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Recent Advances in Real-Time Maude (Q2864519) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- Model Checking of Extended OCL Constraints on UML Models in SOCLe (Q5428906) (← links)