- Tytuł:
- Verification of Concurrent Systems with Parametric Delays Using Octahedra
- Autorzy:
-
Clarisó, R.
Cortadella, J. - Data publikacji:
- 2007
- Słowa kluczowe:
-
formal verification
abstract interpretation
parametric timed systems - Pokaż więcej
- Dostawca treści:
- BazTech