Abstractions and heuristics for the validation of Grafcet controlled systems
| Alternative title: | Heuristiques pour la vérification des systèmes commandés par Grafcet |
|---|---|
| Year of publication: |
1997
|
| Authors: | Loor, Pierre de ; Zaytoon, Janan ; Villermain-Lecolier, Gérard |
| Published in: |
Journal européen des systèmes automatisés : JESA. - Paris : Lavoisier, ISSN 0296-1598, ZDB-ID 13167728. - Vol. 31.1997, 3, p. 561-580
|