Podrobná bibliografia
| Názov: |
Coupling Model Checking and PSA: A Case Study |
| Autori: |
Pakonen, Antti, Björkman, Kim |
| Informácie o vydavateľovi: |
2019. |
| Rok vydania: |
2019 |
| Predmety: |
ta212, Model checking, PSA, ta213, Digital I&C, Verification, Scalability, Hardware failure, ta218 |
| Druh dokumentu: |
Conference object |
| Jazyk: |
English |
| DOI: |
10.3850/9789811127243_0418cd |
| Prístupová URL adresa: |
http://juuli.fi/Record/0351844719 |
| Prístupové číslo: |
edsair.CSC...........b38f2f4b551f5d8e5d88d43d162bf182 |
| Databáza: |
OpenAIRE |
Nájsť tento článok vo Web of Science