PLC-automata: A new class of implementable real-time automata
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 111-125
- https://doi.org/10.1007/3-540-63010-4_8
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- SPS-Programmierung mit IEC 1131-3Published by Springer Nature ,1995
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Duration Calculi: An overviewPublished by Springer Nature ,1993
- A calculus of durationsInformation Processing Letters, 1991
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985