Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Dorian Peit"'
Publikováno v:
journal of communications
journal of communications, 2019, 14 (10), pp980-986. ⟨10.12720/jcm.14.10.980-986⟩
journal of communications, 2019, 14 (10), pp980-986. ⟨10.12720/jcm.14.10.980-986⟩
The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e3e0a9c0c31c80529316a212b19a57b
https://doi.org/10.12720/jcm.14.10.980-986
https://doi.org/10.12720/jcm.14.10.980-986
