A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

Artikel › Journalartikel › 2018

Zitation

Baar, Thomas; Staroletov, Sergey: A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. In: Modeling and Analysis of Information Systems Vol 25 / 2018, No 5. (2018), S. 465-480.

ISSN

2313-5417 (online) 1818-1015 (print)

Link

https://www.mais-journal.ru/jour/article/view/752 / DOI: 10.18255/1818-1015-2018-5-465-480

Zitieren

BibTeX / RIS