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: |
|