[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node
Bersani, Marcello M., Garcia-Valls, MarisolYear:
2016
Language:
english
DOI:
10.1109/hase.2016.46
File:
PDF, 637 KB
english, 2016