Publikation

Extracting High-Level System Specifications from Source Code via Abstract State Machines

Publikation, 2019

Outline

F. Ferrarotti, J. Pichler, M. Moser, G. Buchgeher - Extracting High-Level System Specifications from Source Code via Abstract State Machines - International Conference on Model and Data Engineering, Tuolouse, France, Frankreich, 2019
Personen
Forschungseinheiten

© 2020 Research & Development
FH OÖ Forschungs und Entwicklungs GmbH

Franz-Fritsch-Straße 11, 4600 Wels / Austria
Tel.: +43 5 0804 10, Fax: +43 5 0804 11900
E-Mail: research@fh-ooe.at