- Tytuł:
- SyLVaaS : System Level Formal Verification as a Service
- Autorzy:
-
Mancini, T.
Mari, F.
Massini, A.
Melatti, I.
Tronci, E. - Data publikacji:
- 2016
- Słowa kluczowe:
-
verification as a service
model checking
hybrid systems
system level formal
verification
distributed multi-core hardware
loop simulation - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł