Formal Methods. FM 2019 International Workshops |
- isbn : 978-3-030-54997-8
- pisbn : 978-3-030-54996-1
- doi : 10.1007/978-3-030-54997-8
|
Fulltext
|
Performance Evaluation and Benchmarking for the Era of Cloud(s) |
- isbn : 978-3-030-55024-0
- pisbn : 978-3-030-55023-3
- doi : 10.1007/978-3-030-55024-0
|
Fulltext
|
Structural Information and Communication Complexity |
- isbn : 978-3-030-54921-3
- pisbn : 978-3-030-54920-6
- doi : 10.1007/978-3-030-54921-3
|
Fulltext
|
Engineering Trustworthy Software Systems |
- isbn : 978-3-030-55089-9
- pisbn : 978-3-030-55088-2
- doi : 10.1007/978-3-030-55089-9
|
Fulltext
|
Knowledge Science, Engineering and Management |
- isbn : 978-3-030-55130-8
- pisbn : 978-3-030-55129-2
- doi : 10.1007/978-3-030-55130-8
|
Fulltext
|
Privacy Technologies and Policy |
- isbn : 978-3-030-55196-4
- pisbn : 978-3-030-55195-7
- doi : 10.1007/978-3-030-55196-4
|
Fulltext
|
Information Security and Privacy |
- isbn : 978-3-030-55304-3
- pisbn : 978-3-030-55303-6
- doi : 10.1007/978-3-030-55304-3
|
Fulltext
|
Knowledge Science, Engineering and Management |
- isbn : 978-3-030-55393-7
- pisbn : 978-3-030-55392-0
- doi : 10.1007/978-3-030-55393-7
|
Fulltext
|
NASA Formal Methods |
- isbn : 978-3-030-55754-6
- pisbn : 978-3-030-55753-9
- doi : 10.1007/978-3-030-55754-6
|
Fulltext
|
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops |
- isbn : 978-3-030-55583-2
- pisbn : 978-3-030-55582-5
- doi : 10.1007/978-3-030-55583-2
|
Fulltext
|