Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Livre Ecrit par: Wimmer, Manuel ; Broch Johnsen, Einar ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030994297
Thème
Informatique
Mots clés:
architecture verification and validation
distributed computer systems
embedded systems
empirical software validation
Formal Methods
model-driven software engineering
model checking
software testing and debugging
