A System Substitution Mechanism for Hybrid Systems in Event-B
2016-01-01
SCID: 54.1/7fmkzmp7
Discuss with AI
Figures from the paper
Publication Details
Publication Date
2016-01-01
Journal
Publisher
ISSN
Open access PDF
Access Type
Author Information
Download PDF
Subscribe to digest