Challenges in High-Assurance Runtime Verification.
Autor: | Goodloe, Alwyn |
---|---|
Zdroj: | Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p446-460, 15p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Goodloe, Alwyn |
---|---|
Zdroj: | Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p446-460, 15p |
Databáze: | Complementary Index |
Externí odkaz: |