%0 Conference Paper %1 conf/re/MavridouBGPHGS20 %A Mavridou, Anastasia %A Bourbouh, Hamza %A Giannakopoulou, Dimitra %A Pressburger, Thomas %A Hejase, Mohammad %A Garoche, Pierre-Loïc %A Schumann, Johann %B RE %D 2020 %E Breaux, Travis D. %E Zisman, Andrea %E Fricker, Samuel %E Glinz, Martin %I IEEE %K dblp %P 300-310 %T The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. %U http://dblp.uni-trier.de/db/conf/re/re2020.html#MavridouBGPHGS20 %@ 978-1-7281-7438-9

@inproceedings{conf/re/MavridouBGPHGS20, added-at = {2020-10-14T00:00:00.000+0200}, author = {Mavridou, Anastasia and Bourbouh, Hamza and Giannakopoulou, Dimitra and Pressburger, Thomas and Hejase, Mohammad and Garoche, Pierre-Loïc and Schumann, Johann}, biburl = {https://www.bibsonomy.org/bibtex/202d8dacfc4a69f045d3e12a65aefec64/dblp}, booktitle = {RE}, crossref = {conf/re/2020}, editor = {Breaux, Travis D. and Zisman, Andrea and Fricker, Samuel and Glinz, Martin}, ee = {https://doi.org/10.1109/RE48521.2020.00040}, interhash = {4e94eb5486956d59b9e44c927a88dfb1}, intrahash = {02d8dacfc4a69f045d3e12a65aefec64}, isbn = {978-1-7281-7438-9}, keywords = {dblp}, pages = {300-310}, publisher = {IEEE}, timestamp = {2020-10-15T11:35:02.000+0200}, title = {The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.}, url = {http://dblp.uni-trier.de/db/conf/re/re2020.html#MavridouBGPHGS20}, year = 2020 }