Formalizing Hybrid Systems with Event-B
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Modeling in Event-BPublished by Cambridge University Press (CUP) ,2010
- Logical Analysis of Hybrid SystemsPublished by Springer Science and Business Media LLC ,2010
- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case StudyLecture Notes in Computer Science, 2009
- Generalizing Action Systems to Hybrid SystemsLecture Notes in Computer Science, 2000
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988