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

Title:: Extended Imperative Model Checking A visual programming approach for a user friendly MVD generation and validation
Document type:: Konferenzbeitrag
Author(s):: Sirtl, F.; Abualdenien, J.
Keywords:: LOCenter;
Book / Congress title:: Proc. of the 32th Forum Bauinformatik
Year:: 2021
Year / month:: 2021-09
Month:: Sep
BibTeX

Occurrences: