| Autor: |
Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Předmět: |
|
| Kategorie: |
|
| Popis: |
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. |
| Databáze: |
eBook Index |
| Externí odkaz: |
|
