Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hi-index | 0.00 |