A System Substitution Mechanism for Hybrid Systems in Event-B

Guillaume Babin, Yamine Aït‐Ameur, Neeraj Kumar Singh, Marc Pantel
2016-01-01
SCID:  54.1/7fmkzmp7
Publication Details
Publication Date
2016-01-01
Journal
Publisher
ISSN
Access Type
Author Information
Authors
Guillaume Babin
Yamine Aït‐Ameur
Neeraj Kumar Singh
Marc Pantel
Explore More Research
Use the citation graph to discover related papers and expand your research horizons.
Click any node to explore →
Download PDF
100%