共 19 条
- [1] [Anonymous], 1994, Temporal Logic: Mathematical Foundations and Computational Aspects
- [3] Ben-Ari Mordechai., 1981, P 8 ACM SIGPLANSIGAC, V20, P164, DOI DOI 10.1145/567532.567551
- [4] Change-driven model transformations [J]. SOFTWARE AND SYSTEMS MODELING, 2012, 11 (03) : 431 - 461
- [6] Box G., 2008, Wiley Series in Probability, Vfourth
- [7] Breu R., 2011, INT J SOFTWARE INFOR, V5, P267
- [8] Carlson J., 2004, INTUITIVE RESOURCE E
- [9] Combemale Benoit, 2012, Model Driven Engineering Languages and Systems. Proceedings 15th International Conference, MODELS 2012, P119, DOI 10.1007/978-3-642-33666-9_9
- [10] David I., 2013, THESIS BUDAPEST U TE