Visual temporal logic as a rapid prototyping tool
- 31 October 2001
- journal article
- Published by Elsevier in Computer Languages
- Vol. 27 (1-3) , 93-113
- https://doi.org/10.1016/s0096-0551(01)00017-0
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Formalized timing diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hardware synthesis from requirement specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Flat fragments of CTL and CTL: separating the expressive and distinguishing powersLogic Journal of the IGPL, 1999
- Decomposing Real-Time SpecificationsPublished by Springer Nature ,1998
- The ICOS synthesis environmentPublished by Springer Nature ,1998
- A visual formalism for real time requirement specificationsPublished by Springer Nature ,1997
- Formal Development of Reactive SystemsPublished by Springer Nature ,1995
- A calculus of durationsInformation Processing Letters, 1991
- Automata on Infinite ObjectsPublished by Elsevier ,1990