- Tytuł:
- Towards Integrated Verification of Timed Transition Models
- Autorzy:
-
Lawford, M.
Pantelic, V.
Zhang, H. - Data publikacji:
- 2006
- Słowa kluczowe:
-
real time
equivalence verification
theorem proving
PVS
model checking
model reduction
SAL - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł