共 6 条
[1]
Baranov Sergey, 2011, SDL 2011: Integrating System and Software Modeling. 15th International SDL Forum. Revised Papers, P79, DOI 10.1007/978-3-642-25264-8_8
[2]
Faivre A., 2005, 2 WORKSH MOD DEV VAL
[3]
Faivre A, 2007, LECT NOTES COMPUT SC, V4581, P90
[4]
Gaston C, 2006, LECT NOTES COMPUT SC, V3964, P1
[5]
International Telecommunication Union, SPEC DESCR LANG OV S
[6]
International Telecommunication Union, TEST TEST CONTR NOT