[Lecture Notes in Computer Science] Cyber-Physical Systems of Systems Volume 10099 ||Bondavalli, Andrea; Bouchenak, Sara; Kopetz, Hermann · 2016

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 9361 ||Mousavi, Mohammad Reza; Berger, Christian · 2015

[Lecture Notes in Computer Science] Cyber-Physical Systems of Systems Volume 10099 || Interfaces in Evolving Cyber-Physical Systems-of-SystemsBondavalli, Andrea; Bouchenak, Sara; Kopetz, Hermann · 2016

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 10107 ||Berger, Christian; Mousavi, Mohammad Reza; Wisniewski, Rafael · 2017

[Lecture Notes in Computer Science] Engineering Trustworthy Software Systems Volume 9506 || Cyber-Physical Systems EngineeringLiu, Zhiming; Zhang, Zili · 2016

[Lecture Notes in Computer Science] The New Codebreakers Volume 9100 || Cyber-Physical Systems SecurityRyan, Peter Y. A.; Naccache, David; Quisquater, Jean-Jacques · 2016

[Lecture Notes in Computer Science] Security of Industrial Control Systems and Cyber Physical Systems Volume 9588 || Trust Establishment in Cooperating Cyber-Physical SystemsBécue, Adrien; Cuppens-Boulahia, Nora; Cuppens, Frédéric; Katsikas, Sokratis; Lambrinoudakis, Costas · 2016

[Lecture Notes in Computer Science] Secure IT Systems Volume 8208 || Security Games for Cyber-Physical SystemsRiis Nielson, Hanne; Gollmann, Dieter · 2013

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) ||Chamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) ||Chamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Formal Analysis of Robotic Cell Injection Systems Using Theorem ProvingChamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Template-Based Monte-Carlo Test Generation for Simulink ModelsChamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || An Integrated Simulation Tool for Computer Architecture and Cyber-Physical SystemsChamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Subjecting Legacy Simulink Models to Timing SpecificationsChamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Safe At Any Speed: A Simulation-Based Test Harness for Autonomous VehiclesChamberlain, Roger; Taha, Walid; Törngren, Martin · 2019

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)Chamberlain, Roger; Taha, Walid; Törngren, Martin · 2019