Coupling Model Checking and PSA: A Case Study
Uloženo v:
| Název: | Coupling Model Checking and PSA: A Case Study |
|---|---|
| Autoři: | Pakonen, Antti, Björkman, Kim |
| Informace o vydavateli: | 2019. |
| Rok vydání: | 2019 |
| Témata: | ta212, Model checking, PSA, ta213, Digital I&C, Verification, Scalability, Hardware failure, ta218 |
| Druh dokumentu: | Conference object |
| Jazyk: | English |
| DOI: | 10.3850/9789811127243_0418cd |
| Přístupová URL adresa: | http://juuli.fi/Record/0351844719 |
| Přístupové číslo: | edsair.CSC...........b38f2f4b551f5d8e5d88d43d162bf182 |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science | DOI: | 10.3850/9789811127243_0418cd |
|---|