Practical Formal Specification for Embedded Control Systems
Authors:
- Frantz IwuFIFrantz Iwu
- Andy GallowayAGAndy Galloway
- Ian ToynITIan Toyn
- John McDermidJMJohn McDermid
- 1 April 2004
- journal article
- Published by Elsevier in IFAC Proceedings Volumes
- Vol. 37 (4) , 165-170
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- CADi: An architecture for Z tools and its implementationSoftware: Practice and Experience, 1995