A flexible, extensible simulation environment for testing real-time specifications
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- MT: A toolset for specifying and analyzing real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An approach to monitoring and assertion-checking of real-time specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SCR: a toolset for specifying and analyzing requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Consistency checking of SCR-style requirements specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated consistency checking of requirements specificationsACM Transactions on Software Engineering and Methodology, 1996
- Modechart: a specification language for real-time systemsIEEE Transactions on Software Engineering, 1994
- Software engineeringIEEE Spectrum, 1994
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990