[Zurück]


Zeitschriftenartikel:

S. Gabmeyer, P. Kaufmann, M. Seidl, M. Gogolla, G. Kappel:
"A Feature-Based Classification of Formal Verification Techniques for Software Models";
Software and Systems Modeling, 18 (2019), 1; S. 473 - 498.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10270-017-0591-z

Elektronische Version der Publikation:
ttps://doi.org/10.1007/s10270-017-0591-z


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.