Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.
Saved in:
| Title: | Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. |
|---|---|
| Authors: | DUPONT, GUILLAUME1, guillaume.dupont@toulouse-inp.fr, AIT-AMEUR, YAMINE1, yamine.ait-ameur@toulouse-inp.fr, SINGH, NEERAJ KUMAR1, neeraj.singh@toulouse-inp.fr, PANTEL, MARC1, marc.pantel@toulouse-inp.fr |
| Source: | ACM Transactions on Embedded Computing Systems; Jul2021, Vol. 20 Issue 4, p1-37, 37p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15399087 |
|---|---|
| DOI: | 10.1145/3448270 |
