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), pp. 285-287. Springer, ISSN 1433-2779,
DOI: 10.1007/s10009-020-00589-6,
[Article]

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.

Item Type: Article
Erschienen: 2021
Creators: Hähnle, Reiner ; van der Aalst, Wil
Title: Automated model analysis tools and techniques presented at FASE 2019
Language: English
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.

Journal or Publication Title: International Journal on Software Tools for Technology Transfer
Volume of the journal: 23
Issue Number: 3
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 20 Jul 2022 07:13
DOI: 10.1007/s10009-020-00589-6
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details