共 27 条
[1]
[Anonymous], 2017, OMG SYSTEMS MODELING
[2]
[Anonymous], 2005, IEEE 1220 2005
[3]
Asghar Adeel., 2012, IFAC Proceedings Volumes, V45, P1087
[4]
Barbau R., 2018, SYSPHS 10 OMG RELEAS
[6]
Bunus P., 2002, Practical Aspects of Declarative Languages. 4th International Symposium, PADL 2002. Proceedings (Lecture Notes in Computer Science Vol.2257), P280
[7]
Semi-automatic fault localization and behavior verification for physical system simulation models
[J].
18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS,
2003,
:253-258
[8]
Canedo A., 2013, 5 INT WORKSHOP EQUAT, P55
[9]
Cellier F.E., CONTINUOUS SYSTEM MO, P199
[10]
Controllab Products B.V, 2017, GETTING STARTED 20 S