Towards validated real-time software
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Model checking timed automataPublished by Springer Nature ,1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973