论文信息 - Specification and Verification of Real-Time Safety and Liveness Properties using LOTOS and SQTL. - 字舞流文

Specification and Verification of Real-Time Safety and Liveness Properties using LOTOS and SQTL.

Gordon S. Blair | Abderrahmane Lakas | Amanda G. Chetwynd | G. Blair | A. Chetwynd | A. Lakas