Spara
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.
- Undertitel
- 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
- Redaktör
- Peter Csaba Ölveczky, Gwen Salaün
- Upplaga
- 2019 ed.
- ISBN
- 9783030304454
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2019-09-02
- Sidor
- 550
