Title of article :
Extensions of Grafcet to structure behavioural specifications
Author/Authors :
Hervé Guéguen and Noël Bouteille، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
Sequential control , Boolean logic , Formal specification , Grafcet
Journal title :
Electric Power Systems Research
Journal title :
Electric Power Systems Research
