Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Formal Methods in System Design
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hi-index | 0.00 |