HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Safety verification of model helicopter controller using hybrid input/output automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |