Test exhaustif de controleurs logiques specifies en Grafcet. Apports et limites d'une modelisation par machines de Mealy
Year of publication: |
2009
|
---|---|
Authors: | Provost, J. ; Roussel, J.-M. ; Faure, J.-M. |
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. 889-904
|
Saved in:
Saved in favorites
Similar items by person
-
Hardy, V., (2000)
-
Safety Properties Verification of Ladder Diagram Programs
Roussel, J.-M., (2002)
-
Algebraic determination of the structure function of Dynamic Fault Trees
Merle, G., (2011)
- More ...