Graphical specification and reasoning: Case study generalised railroad crossing
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Synthesising controllers from real-time specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Action DiagramsIFAC Proceedings Volumes, 1997
- PLC-automata: A new class of implementable real-time automataPublished by Springer Nature ,1997
- Graphical formalization of real-time requirementsPublished by Springer Nature ,1996
- Refinement from a control problem to programsPublished by Springer Nature ,1996
- Verification tools for finite-state concurrent systemsPublished by Springer Nature ,1994
- Provably Correct SystemsPublished by Springer Nature ,1994
- Duration Calculi: An overviewPublished by Springer Nature ,1993
- A calculus of durationsInformation Processing Letters, 1991