共 8 条
- [1] Abrial Jean-Raymond, 2010, MODELING EVENT B SYS, V1st
- [2] Efftinge Sven., 2006, WORKSHOP MODELING S, V32, P118
- [3] Haase A., 2007, MDD TOOL IMPLEMENTER
- [4] Howey R, 2004, PROC INT C TOOLS ART, P294
- [5] ICAPS, 2022, INT C AUT PLANN SCHE
- [6] Long D., 2009, P WORKSHOP V V PLANN
- [7] McDermott D., 1998, TR98003 YAL CTR COMP
- [8] Voisin L, 2014, LECT NOTES COMPUT SC, V8477, P1, DOI 10.1007/978-3-662-43652-3_1