Assuring Degradation Cascades of Car Platoons via Contracts

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

10.1007/978-3-319-66284-8_27 ◽

2017 ◽

pp. 317-329 ◽

Author(s):

Irfan Sljivo ◽

Barbara Gallina ◽

Bernhard Kaiser

Download Full-text