Incremental Verification with Mode Variable Invariants in State Machines.
| Autor: | Kahsai, Temesghen, Garoche, Pierre-Loïc, Tinelli, Cesare, Whalen, Mike |
|---|---|
| Zdroj: | NASA Formal Methods (9783642288906); 2012, p388-402, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|