Tallenna
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.
- Alaotsikko
- 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
- Toimittaja
- Peter Csaba Ölveczky, Gwen Salaün
- Painos
- 2019 ed.
- ISBN
- 9783030304454
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.9.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 550
