Synthese de contraintes temporisees pour une architecture d'automatisation en reseau
Year of publication: |
2009
|
---|---|
Authors: | Andre, E. ; Chatain, T. ; De Smet, O. ; Fribourg, L. ; Ruel, S. |
Published in: |
Journal européen des systèmes automatisés : JESA. - Paris : Lavoisier, ISSN 0296-1598, ZDB-ID 13167728. - Vol. 43.2009, 7/9, p. 1049-1064
|
Saved in:
Saved in favorites
Similar items by person
-
Perspectives actuelles du développement et de lʹéconomie de la propulsion navale nucléaire civile
Ruel, S., (1976)
-
Verification of an evaporator system with Uppaal
Gaid, M. E. M. B., (2005)
-
Evrard-Samuel, K., (2011)
- More ...