%0 Conference Paper %1 conf/fm/KouvarosKLLMOZ21 %A Kouvaros, Panagiotis %A Kyono, Trent %A Leofante, Francesco %A Lomuscio, Alessio %A Margineantu, Dragos D. %A Osipychev, Denis %A Zheng, Yang %B FM %D 2021 %E Huisman, Marieke %E Pasareanu, Corina S. %E Zhan, Naijun %I Springer %K dblp %P 730-740 %T Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. %U http://dblp.uni-trier.de/db/conf/fm/fm2021.html#KouvarosKLLMOZ21 %V 13047 %@ 978-3-030-90870-6

@inproceedings{conf/fm/KouvarosKLLMOZ21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Kouvaros, Panagiotis and Kyono, Trent and Leofante, Francesco and Lomuscio, Alessio and Margineantu, Dragos D. and Osipychev, Denis and Zheng, Yang}, biburl = {https://www.bibsonomy.org/bibtex/29ca7551dc60faf832176eed6b0a95498/dblp}, booktitle = {FM}, crossref = {conf/fm/2021}, editor = {Huisman, Marieke and Pasareanu, Corina S. and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-030-90870-6_41}, interhash = {ee311dc384eb93e3719e24b402ee2fe1}, intrahash = {9ca7551dc60faf832176eed6b0a95498}, isbn = {978-3-030-90870-6}, keywords = {dblp}, pages = {730-740}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2021.html#KouvarosKLLMOZ21}, volume = 13047, year = 2021 }