共 44 条
- [1] Alanen M, 2003, LECT NOTES COMPUT SC, V2863, P2
- [2] [Anonymous], [No title captured]
- [4] Bergmann G, 2010, LECT NOTES COMPUT SC, V6394, P76
- [5] Brosch Petra, 2012, Formal Methods for Model-Driven Engineering. 12th International School of Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2012). Advanced Lectures, P336, DOI 10.1007/978-3-642-30982-3_10
- [6] Brosch P., 2010, LNI, V161, P221
- [7] Brun C., 2008, UPGRADE EUROPEAN J I, V9, P29, DOI DOI 10.1016/J.EJS0.2009.08.008
- [10] Cicchetti A, 2008, LECT NOTES COMPUT SC, V5301, P311, DOI 10.1007/978-3-540-87875-9_23