Modélisation des systèmes réactifs, Actes du Colloque Francophone MSR 05

Books Year : 2005

(1) , (2, 3)

1
2
3

Hassane Alla

Laboratoire d'automatique de Grenoble

Eric Rutten

Programming Languages [cs.PL] Distributed, Parallel, and Cluster Computing [cs.DC] Logic in Computer Science [cs.LO] Discrete Mathematics [cs.DM] Software Engineering [cs.SE]

https://inria.hal.science/inria-00001075

Submitted on : Tuesday, January 31, 2006-11:45:10 AM

Last modification on : Friday, May 17, 2024-4:32:06 PM

inria-00001075 , version 1 (31-01-2006)

Hassane Alla, Eric Rutten (Dir.). Modélisation des systèmes réactifs, Actes du Colloque Francophone MSR 05. Hermès, 2005. ⟨inria-00001075⟩