%0 Conference Paper %1 conf/eann/Lopez-MiguelAGV23 %A Lopez-Miguel, Ignacio D. %A Adiego, Borja Fernández %A Ghawash, Faiq %A Viñuela, Enrique Blanco %B EANN %D 2023 %E Iliadis, Lazaros %E Maglogiannis, Ilias %E Alonso, Serafín %E Jayne, Chrisina %E Pimenidis, Elias %I Springer %K dblp %P 420-432 %T Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN. %U http://dblp.uni-trier.de/db/conf/eann/eann2023.html#Lopez-MiguelAGV23 %V 1826 %@ 978-3-031-34204-2

@inproceedings{conf/eann/Lopez-MiguelAGV23, added-at = {2023-06-26T00:00:00.000+0200}, author = {Lopez-Miguel, Ignacio D. and Adiego, Borja Fernández and Ghawash, Faiq and Viñuela, Enrique Blanco}, biburl = {https://www.bibsonomy.org/bibtex/295d57c4958427850448e985fe54a2c98/dblp}, booktitle = {EANN}, crossref = {conf/eann/2023}, editor = {Iliadis, Lazaros and Maglogiannis, Ilias and Alonso, Serafín and Jayne, Chrisina and Pimenidis, Elias}, ee = {https://doi.org/10.1007/978-3-031-34204-2_35}, interhash = {d7a2e5def3a73a89078382ac9ae08163}, intrahash = {95d57c4958427850448e985fe54a2c98}, isbn = {978-3-031-34204-2}, keywords = {dblp}, pages = {420-432}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-09T23:41:07.000+0200}, title = {Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.}, url = {http://dblp.uni-trier.de/db/conf/eann/eann2023.html#Lopez-MiguelAGV23}, volume = 1826, year = 2023 }