1 results
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 4 / August 2013
- Published online by Cambridge University Press:
- 08 July 2013, pp. 676-725
-
- Article
- Export citation