Items where Author is "Sakurai, K."

Contribution in Book/Report/Proceedings

Sakurai, K. and Bokor, P. and Suri, Neeraj (2008) Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications. In: 2008 11th IEEE High Assurance Systems Engineering Symposium :. IEEE, pp. 261-270. ISBN 9780769534824

Contribution to Conference

Sakurai, K. and Matsubara, M. and Serafini, M. and Suri, Neeraj (2008) Dependable and cost-effective architecture for X-by-wire systems with membership middleware. In: Other32nd FISITA World Automotive Congress 2008, 2008-09-14 - 2008-09-19.