Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann. The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. In Travis D. Breaux, Andrea Zisman, Samuel Fricker, Martin Glinz, editors, 28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020. pages 300-310, IEEE, 2020. [doi]
@inproceedings{MavridouBGPHGS20,
title = {The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained},
author = {Anastasia Mavridou and Hamza Bourbouh and Dimitra Giannakopoulou and Thomas Pressburger and Mohammad Hejase and Pierre-Loïc Garoche and Johann Schumann},
year = {2020},
doi = {10.1109/RE48521.2020.00040},
url = {https://doi.org/10.1109/RE48521.2020.00040},
researchr = {https://researchr.org/publication/MavridouBGPHGS20},
cites = {0},
citedby = {0},
pages = {300-310},
booktitle = {28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020},
editor = {Travis D. Breaux and Andrea Zisman and Samuel Fricker and Martin Glinz},
publisher = {IEEE},
isbn = {978-1-7281-7438-9},
}