Login
- Titel:
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Fritzsch, Jonas; Schmid, Tobias; Wagner, Stefan
- Kongress- / Buchtitel:
- 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
- Jahr:
- 2021
- Seiten:
- 372-382
- Volltext / DOI:
- doi:10.1109/ICST49551.2021.00049
BibTeX