The following pages link to Real-Time Systems (Q5900383):
Displaying 20 items.
- Specification and compositional verification of real-time systems (Q396986) (← links)
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Design of the real time systems using temporal logic specifications: A case study (Q1388094) (← links)
- Duration calculus. A formal approach to real-time systems. (Q1428351) (← links)
- Extending the SCR method for real-time systems (Q1595888) (← links)
- Requirements specifications checking of embedded real time software (Q1599643) (← links)
- Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9--12, 2002. Proceedings. (Q1880565) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. (Q2492159) (← links)
- Formal verification of discrete real-time systems (Q2783116) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- A menagerie of timed automata (Q5176174) (← links)
