Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Authors:
Maria Domenica Di Benedetto;Alberto L. Sangiovanni-Vincentelli
Affiliations:
-;-
Venue:
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Year:
2001

Citing 0
Cited 2

Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation
Reachability analysis of nonlinear systems using conservative approximation

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract