Automated model analysis tools and techniques presented at FASE 2019 release_6pme5b2xpjesbe3maijl7hn5me

by Reiner Hähnle, Wil van der Aalst

Published in International Journal on Software Tools for Technology Transfer (STTT) by Springer Science and Business Media LLC.

2020  

Abstract

<jats:title>Abstract</jats:title> 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.
In application/xml+jats format

Archived Files and Locations

application/pdf  176.7 kB
file_dk5jqcjmefdjbiphl4o6p2mmxe
link.springer.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2020-09-07
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1433-2779
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e52baf22-ff13-4104-9c06-6df878520e74
API URL: JSON