A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.
J. Nellen, E. Ábrahám, and B. Wolters. Formalisms for Reuse and Systems Integration, volume 346 of Advances in Intelligent Systems and Computing, Springer, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/asc/NellenAW15
%A Nellen, Johanna
%A Ábrahám, Erika
%A Wolters, Benedikt
%B Formalisms for Reuse and Systems Integration
%D 2015
%E Bouabana-Tebibel, Thouraya
%E Rubin, Stuart H.
%I Springer
%K dblp
%P 55-78
%T A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.
%U http://dblp.uni-trier.de/db/series/asc/asc346.html#NellenAW15
%V 346
%@ 978-3-319-16576-9
@incollection{series/asc/NellenAW15,
added-at = {2020-09-05T00:00:00.000+0200},
author = {Nellen, Johanna and Ábrahám, Erika and Wolters, Benedikt},
biburl = {https://www.bibsonomy.org/bibtex/2f5ec3de7132b99662c1368ae2410ceb4/dblp},
booktitle = {Formalisms for Reuse and Systems Integration},
crossref = {series/asc/2015-346},
editor = {Bouabana-Tebibel, Thouraya and Rubin, Stuart H.},
ee = {https://doi.org/10.1007/978-3-319-16577-6_3},
interhash = {2181f336330696791a93af6d42a44010},
intrahash = {f5ec3de7132b99662c1368ae2410ceb4},
isbn = {978-3-319-16576-9},
keywords = {dblp},
pages = {55-78},
publisher = {Springer},
series = {Advances in Intelligent Systems and Computing},
timestamp = {2020-09-09T14:10:06.000+0200},
title = {A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.},
url = {http://dblp.uni-trier.de/db/series/asc/asc346.html#NellenAW15},
volume = 346,
year = 2015
}