Hybrid specification of control systems
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Formal Specification and Verification of Concurrent ProgramsPublished by Defense Technical Information Center (DTIC) ,1993
- Hybrid SystemsPublished by Springer Nature ,1993