Title of article
Modelling and verification of program logic controllers using timed automata
Author/Authors
Wang، نويسنده , , R.; Song، نويسنده , , X.; Gu، نويسنده , , M.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
5
From page
127
To page
131
Journal title
IEE Proceedings Software
Serial Year
2007
Journal title
IEE Proceedings Software
Record number
352002
Link To Document