Extended Imperative Model Checking A visual programming approach for a user friendly MVD generation and validation

Titel:: Extended Imperative Model Checking A visual programming approach for a user friendly MVD generation and validation
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Sirtl, F.; Abualdenien, J.
Stichworte:: LOCenter;
Kongress- / Buchtitel:: Proc. of the 32th Forum Bauinformatik
Jahr:: 2021
Jahr / Monat:: 2021-09
Monat:: Sep
BibTeX

Vorkommen: