Derivation and Formal Verification of a Mode Logic for Layered Control Systems
Publication Type:
Conference ProceedingsSource:
Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011, IEEE, p.49-56 (2011)- 8015 reads
- Google Scholar
- DOI
- RTF
- EndNote XML