- Tytuł:
- On Process-algebraic Verification of Asynchronous Circuits
- Autorzy:
-
Wang, X.
Kwiatkowska, M. - Data publikacji:
- 2007
- Słowa kluczowe:
-
process algebras
asynchronous circuitis
assume/guarantee verification
progress/liveness
CSP/FDR2 - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł