TU Darmstadt / ULB / TUbiblio

Automated model analysis tools and techniques presented at FASE 2019

Hähnle, Reiner ; van der Aalst, Wil (2021)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00589-6
Artikel, Bibliographie

Kurzbeschreibung (Abstract)

This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.

Typ des Eintrags: Artikel
Erschienen: 2021
Autor(en): Hähnle, Reiner ; van der Aalst, Wil
Art des Eintrags: Bibliographie
Titel: Automated model analysis tools and techniques presented at FASE 2019
Sprache: Englisch
Publikationsjahr: Juni 2021
Verlag: Springer
Titel der Zeitschrift, Zeitung oder Schriftenreihe: International Journal on Software Tools for Technology Transfer
Jahrgang/Volume einer Zeitschrift: 23
(Heft-)Nummer: 3
DOI: 10.1007/s10009-020-00589-6
Kurzbeschreibung (Abstract):

This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Software Engineering
Hinterlegungsdatum: 20 Jul 2022 07:13
Letzte Änderung: 20 Jul 2022 07:13
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen