共 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
[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