Introduction of Virtualization Technology to Multi-Process Model Checking
Autor: | Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2009 |
Předmět: | |
Popis: | QC 20160103 |
Databáze: | OpenAIRE |
Externí odkaz: |