TY  - RPRT
TI  - The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
AU  - Anastasia Mavridou
AU  - Hamza Bourbouh
AU  - Dimitra Giannakopoulou
AU  - Thomas Pressburger
AU  - Mohammad Hejase
AU  - Pierre-loic Andre Garoche
AU  - Johann Schumann
UR  - https://ntrs.nasa.gov/citations/20205000433
ID  - 20205000433
ER  -