«

»

Ladder Metamodeling & PLC Program Validation through Time Petri Nets

by Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat
Reference:
Ladder Metamodeling & PLC Program Validation through Time Petri Nets (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Fourth European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Springer, volume 5095, 2008. (preprint.pdf, slide.pdf) (AR=27%)
Bibtex Entry:
@inproceedings{ecmda08,
	Address = {Berlin, Germany},
	Author = {Darlam Bender and Benoit Combemale and Xavier Cr{'e}gut and Jean-Marie Farines and Francois Vernadat},
	Booktitle = {Fourth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2008)},
	Comment = {<a href="./research/phd/2008/ecmda08-BCCFBV.pdf">preprint.pdf</a>, <a href="./research/phd/2008/ecmda08-BCCFBV-slide.pdf">slide.pdf</a>},
	Language = {anglais},
	Month = jun,
	Note = {AR=27%},
	Pages = {121--136},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science (LNCS)},
	Title = {{Ladder Metamodeling & PLC Program Validation through Time Petri Nets}},
	Url = {http://dx.doi.org/10.1007/978-3-540-69100-6_9},
	Volume = {5095},
	Year = {2008},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-69100-6_9}}