PLC Program Verification and Analysis Using the COQ Theorem Prover
CHEN Gang,SONG Xiaoyu,GU Ming
Acta Scientiarum Naturalium Universitatis Pekinensis . 2010, (1): 30 -34 . 

Copyright © Acta Scientiarum Naturalium Universitatis Pekinensis, All Rights Reserved.
Powered by Beijing Magtech Co., Ltd.