Abstract :
The following topics are dealt with: software engineering; security of data; formal method; cyber physical systems; and program verification.
Keywords :
program verification; security of data; cyber physical systems; formal method; program verification; security of data; software engineering;
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on
Conference_Location :
Florence
DOI :
10.1109/FormaliSE.2015.1
