Publikationer pr. år
Publikationer pr. år
Publikation
- 2 Konferencebidrag i proceedings
- 2 resultater
Søgeresultater
-
2024
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
Quijano, S., Varshosaz, M. & Wasowski, A., 27 maj 2024, 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops. 5 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
2022
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
Quijano, S. & Varshosaz, M., 8 jun. 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). Valencia, Spain: IEEE, s. 486-488 2 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil