共 17 条
[3]
[Anonymous], 1967, Computation
[4]
Audemard G, 2002, LECT NOTES COMPUT SC, V2529, P243
[5]
Behrmann G., 2001, Hybrid Systems: Computation and Control. 4th International Workshop, HSCC 2001. Proceedings (Lecture Notes in Computer Science Vol.2034), P147
[6]
Behrmann G., 2005, Performance Evaluation Review, V32, P34, DOI 10.1145/1059816.1059823
[7]
Bouyer P, 2004, LECT NOTES COMPUT SC, V2993, P203
[9]
Bouyer P, 2010, HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, P61