![](/img/cover-not-exists.png)
[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - A CEGAR approach for the reachability analysis of PLC-controlled chemical plants
Nellen, Johanna, Abraham, ErikaYear:
2014
Language:
english
DOI:
10.1109/iri.2014.7051930
File:
PDF, 167 KB
english, 2014