Accessible Formal Verification for Design Assurance of Model Based Critical I&C Systems
| Autor: | Smitha Gautham, Athira Jayakumar, Abhi Rajagopala, Carl Elks |
|---|---|
| Rok vydání: | 2021 |
| Zdroj: | 12th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2021). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|