Principles of Security and Trust
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers...
Guardat en:
| Format: | Online |
|---|---|
| Idioma: | anglès |
| Publicat: |
Springer Nature
2021
|
| Matèries: | |
| Accés en línia: | 1006824 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Principles of Security and Trust
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Fundamental Approaches to Software Engineering
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021