Automated model analysis tools and techniques presented at FASE 2019

Authors :: Wil M. P. van der Aalst
Reiner Hähnle
Source :: International journal on software tools for technology transfer : STTT 23(3), 285-287 (2020). doi:10.1007/s10009-020-00589-6 special issue: "FASE 2019", 22. International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Publication Year :: 2020
Publisher :: RWTH Aachen University, 2020.
Abstract: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Prague, Czech Republic, 6 Apr 2019 - 11 Apr 2019; International journal on software tools for technology transfer : STTT (2020). doi:10.1007/s10009-020-00589-6 special issue: "Special Issue: FASE 2019"<br />Published by Springer, Berlin

Subjects :: 050101 languages & linguistics
Service (systems architecture)
Computer science
business.industry
05 social sciences
02 engineering and technology
Theory of computation
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
0501 psychology and cognitive sciences
Analysis tools
ddc:004
Software engineering
business
Theme (computing)
Software
Information Systems

Language :: English
Database :: OpenAIRE
Journal :: International journal on software tools for technology transfer : STTT 23(3), 285-287 (2020). doi:10.1007/s10009-020-00589-6 special issue: "FASE 2019", 22. International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Accession number :: edsair.doi.dedup.....34ff2982bd7bbae55863c94f4c45070c
Full Text :: https://doi.org/10.18154/rwth-2020-10203