Proving properties of a safety-critical system

 

作者: WillAtkinson,   JimCunningham,  

 

期刊: Software Engineering Journal  （IET Available online 1991）
卷期: Volume 6, issue 2  

页码: 41-50

 

年代: 1991

 

DOI:10.1049/sej.1991.0006

 

出版商: IEE

 

数据来源: IET

 

 

点击下载:  PDF (1200KB)

返 回