Dominique Méry, Jean-François Pétin. Formal engineering methods for modelling and verification of control systems.
9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, 6 p.
⟨inria-00098619⟩