( en | de | ru )

 

Disambiguation of "Farines, Jean-Marie"

Author of the publication

copydeleteadd this publication to your clipboard
A model-driven engineering approach to formal verification of PLC programs.

, , , , , and . ETFA, page 1-8. IEEE, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean-Marie Jungblut

Jean-Marie Babo

Jean-Marie Renno

Jean-Marie Kengne

Jean-Marie Yante

 

Other publications of authors with the same name

Improving a design methodology of synthesizable VHDL with formal verification., , and . LASCAS, page 51-54. IEEE, (2016)CosNamingFT - A Fault-Tolerant CORBA Naming Service., , , , and . SRDS, page 254-262. IEEE Computer Society, (1999)Applying New Educational Models in ICT Teaching and Learning., and . Education for the 21st Century, volume 210 of IFIP, page 45-54. Springer, (2006)Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms., , , and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 51-65. Springer, (2017)Verifying Hypermedia Applications by Using an MDE Approach., , , and . SAM, volume 8769 of Lecture Notes in Computer Science, page 174-189. Springer, (2014)Predicting journeys for DTN routing in a public transportation system., , and . WiMob, page 494-499. IEEE Computer Society, (2014)A Support Platform for Distributed Editing., and . CRIWG, page 97-109. (1995)Ambiente de Concepção de Software para Sistemas Distribuídos, Baseado em Rede de Petri., and . SBES, page 150-157. SBC, (1988)Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS., , and . SBES, page 259-274. SBC, (1996)A Path Selection Criterion for Advance Resource Reservation., , and . NTMS, page 1-5. IEEE, (2011)