Multidirectional Modular Conditional Safety Certificates

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-24249-1_31 ◽

2015 ◽

pp. 357-368 ◽

Author(s):

Tiago Amorim ◽

Alejandra Ruiz ◽

Christoph Dropmann ◽

Daniel Schneider

Download Full-text