Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems 论文
2000Proceedings of the IEEE引用 292
Real-Time Systems SchedulingPetri Nets in System ModelingFormal Methods in Verification