Article citationsMore>>
Bender, D.F., Combemale, B., Crégut, X., Farines, J.M., Berthomieu, B. and Vernadat, F. (2008) Ladder Metamodeling and PLC Program Validation through Time Petri Nets. In: Schieferdecker, I. and Hartman, A., Eds., Model Driven Architecture—Foundations and Applications, Springer, Berlin, 121-136.
http://dx.doi.org/10.1007/978-3-540-69100-6_9
has been cited by the following article: