Software engineering and formal methods: 17th international conference, sefm 2019, oslo, norway, september 18–20, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030304454
Date de publication :
2 sept. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware and attack detection,and software development and evolution and address a wide range of systems, such as cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems.