Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems 论文

2000Proceedings of the IEEE引用 292
DOI
Real-Time Systems SchedulingPetri Nets in System ModelingFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification