共 13 条
[1]
[Anonymous], 2007, P 22 IEEE ACM INT C
[2]
Burden H., 2011, Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, p8:1, DOI DOI 10.1145/2095654.2095665
[5]
Delp C, 2013, AEROSP CONF PROC
[6]
Kroha Petr, 2006, P 9 INT C INFORM SYS, P31
[8]
Meziane F, 2008, REQUIR ENG, V13, P1, DOI [10.1007/s00766-007-0054-0, 10.1007/S00766-007-0054-0]
[9]
Morkevicius A, 2015, 2015 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE) PROCEEDINGS, P92, DOI 10.1109/SysEng.2015.7302739
[10]
Wang Chao, 2010, 2010 2 INT C COMPUTE, V4