Practical Uses of Formal Methods in Development of Airborne Software
Autor: | Ramesh Rajagopalan, Laurent Fabre, Jeffrey J. Joyce, Scott F. Beecher |
---|---|
Rok vydání: | 2016 |
Předmět: | |
Zdroj: | SAE Technical Paper Series. |
ISSN: | 0148-7191 |
Databáze: | OpenAIRE |
Externí odkaz: |