Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Guillaume Babin
Latest
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
Cite
×