«

»

Métamodélisation des diagrammes Ladder et validation de programme PLC à travers les réseaux de Petri temporels

by Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat
Reference:
Métamodélisation des diagrammes Ladder et validation de programme PLC à travers les réseaux de Petri temporels (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2008.
Bibtex Entry:
@inproceedings{fac08a,
	Address = {Toulouse, France},
	Author = {Darlam Bender and Benoit Combemale and Xavier Cr{'e}gut and Jean-Marie Farines and Francois Vernadat},
	Booktitle = {Journ'ees Formalisation des Activit'es Concurrentes (FAC, in french)},
	Month = mar,
	Title = {{M{'e}tamod{'e}lisation des diagrammes Ladder et validation de programme PLC {`a} travers les r{'e}seaux de Petri temporels}},
	Year = {2008}}