More adaptive does not imply less safe (with formal verification)
Abstract
In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systemsSimilar works
Full text
Last time updated on 18/04/2018
This paper was published in Archivio istituzionale della ricerca - Università di Genova.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.