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

Filter your results

1 Array
Image document

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

Sophie Coudert , Tullio Tanzi
1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩
Conference papers hal-03213130v1