A Feature-Based Classification of Formal Verification Techniques for Software Models

Publication
Software and Systems Modeling, 18 (2019), 1; 473 - 498
Petra Kaufmann
Mag.rer.soc.oec. Dr.rer.soc.oec.
Martina Seidl
Dipl.-Ing. Dr.techn.
    Gerti Kappel
    Gerti Kappel
    O.Univ.Prof. Dipl.-Ing. Mag. Dr.techn.