Two CEGAR-based approaches for the safety verification of...

Information Systems Frontiers 2016 / 10 Vol. 18; Iss. 5

Two CEGAR-based approaches for the safety verification of PLC-controlled plants

Nellen, Johanna, Driessen, Kai, Neuhäußer, Martin, Ábrahám, Erika, Wolters, Benedikt
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
18
Language:
english
Journal:
Information Systems Frontiers
DOI:
10.1007/s10796-016-9671-9
Date:
October, 2016
File:
PDF, 1.24 MB
english, 2016
Conversion to is in progress
Conversion to is failed