Semantics of Modechart in real time logic

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/hicss.1988.11840

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering, 1986
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering, 1980