Title of article
Extensions of Grafcet to structure behavioural specifications
Author/Authors
Hervé Guéguen and Noël Bouteille، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
14
From page
743
To page
756
Keywords
Sequential control , Boolean logic , Formal specification , Grafcet
Journal title
Electric Power Systems Research
Serial Year
2001
Journal title
Electric Power Systems Research
Record number
372850
Link To Document