Sequence-based specification of feedback control systems in Simulink®
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Hi-index | 0.00 |