Biblio
Export 2 results:
Filters: Автор is Kimmo Varpaaniemi [Clear All Filters]
Derivation and Formal Verification of a Mode Logic for Layered Control Systems In Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011. IEEE, 2011.
"Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.