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 Discuss with AI
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 further
Open the scid.ai AI chat with a ready-made request: it will find papers on a similar topic and help build a literature review.
Find similar papers in the chat →
Make a presentation
100%