共 42 条
[1]
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models
[J].
2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME),
2014,
:486-490
[2]
Alur Rajeev, 1992, HYBRID SYSTEMS, P209, DOI [10.1007/3-540-57318, DOI 10.1007/3-540-57318, DOI 10.1007/3-540-57318-630, DOI 10.1007/3-540-57318-6]
[3]
[Anonymous], MATLAB SIM
[4]
Araiza-Illan D, 2014, 2014 UKACC INTERNATIONAL CONFERENCE ON CONTROL (CONTROL), P244, DOI 10.1109/CONTROL.2014.6915147
[5]
Astefanoaei Lacramioara, 2016, Theory and Practice of Formal Methods. Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, P88, DOI 10.1007/978-3-319-30734-3_8
[6]
Barnett M, 2006, LECT NOTES COMPUT SC, V4111, P364
[8]
Boström P, 2011, LECT NOTES COMPUT SC, V6991, P291, DOI 10.1007/978-3-642-24559-6_21
[9]
Chen Mingshuai., 2017, Provably Correct Systems, P39