Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Autor: | Ranjani Krishnan, V. R. Lalithambika |
---|---|
Rok vydání: | 2020 |
Předmět: |
Computer science
business.industry Avionics Full-Duplex Switched Ethernet Cyber-physical system Aerospace Engineering Computer Science Applications Embedded software Software Embedded system International Space Station SPIN model checker Launch vehicle Software system Electrical and Electronic Engineering business |
Zdroj: | Journal of Aerospace Information Systems. 17:695-699 |
ISSN: | 2327-3097 |
Databáze: | OpenAIRE |
Externí odkaz: |