More adaptive does not imply less safe (with formal verification)


In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systems

Similar works

Full text


Archivio istituzionale della ricerca - Università di Genova

Provided original full text link
oaioai:iris.unige.it:11567/891498Last time updated on 4/18/2018

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.