Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B
| Autor: | Dupont, Guillaume, Ait-Ameur, Yamine, Singh, Neeraj Kumar, Pantel, Marc |
|---|---|
| Zdroj: | In Science of Computer Programming 1 April 2022 216 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect