Multilevel specification of real time systems
- 1 May 1991
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 34 (5), 50-60
- https://doi.org/10.1145/103167.103173
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Verifying temporal properties without temporal logicACM Transactions on Programming Languages and Systems, 1989
- A general way to put time in Petri netsPublished by Association for Computing Machinery (ACM) ,1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Verifying SecurityACM Computing Surveys, 1981
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977