Spar
Software Engineering and Formal Methods
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.
- Undertittel
- 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
- Redaktør
- Peter Csaba Ölveczky, Gwen Salaün
- Opplag
- 2019 ed.
- ISBN
- 9783030304454
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 2.9.2019
- Antall sider
- 550
