[Zurück]


Zeitschriftenartikel:

S. Gabmeyer, P. Kaufmann, M. Seidl, M. Gogolla, G. Kappel:
"A Feature-Based Classification of Formal Verification Techniques for Software Models";
Journal of Software and Systems Modeling (online-edition), TBD (2017), TDB.



"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.