Travelled to:
1 × Italy
Collaborated with:
J.Provost J.Faure
Talks about:
grafcet (1) specif (1) semant (1) formal (1)
Person: Jean-Marc Roussel
DBLP: Roussel:Jean=Marc
Contributed to:
Wrote 1 papers:
- CASE-2011-ProvostRF #semantics #specification
- A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.