Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1033824
Image document

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

Ruggero Lanotte , Massimo Merro , Andrei Munteanu
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers hal-01824813v1