Towards increased road safety: Real-time decision making for driverless city vehicles
暂无分享,去创建一个
[1] Darius Karkaria. Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review) , 1993, Softw. Test. Verification Reliab..
[2] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[3] Phillip A. Laplante,et al. Real-Time Systems Design and Analysis , 1992 .
[4] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[5] Ernst-Rüdiger Olderog,et al. Verification of Sequential and Concurrent Programs , 1997, Graduate Texts in Computer Science.
[6] Phillip A. Laplante,et al. Real-time systems design and analysis - an engineer's handbook , 1992 .
[7] Anish Arora,et al. Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997) , 1998, SIGA.
[8] Ljubo Vlacic,et al. Cybernetic Transportation Systems Design and Development: Simulation Software cybercars , 2007 .
[9] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[10] Robert O. Lewis,et al. Independent verification & validation: a life cycle engineering process for quality software , 1992 .
[11] Dino Mandrioli,et al. Formal Methods for Real-Time Computing: an Overview , 1996 .
[12] Dino Mandrioli,et al. Formal Methods for Real-Time Computing , 1996 .