Old Web
English
Sign In
Acemap
>
Paper
>
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
2022
Guillaume Dupont
Yamine Aït Ameur
Neeraj Kumar Singh
Marc Pantel
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]