Title of article :
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems
Author/Authors :
Lee، نويسنده , , J.-S.; Cha، نويسنده , , S.-D.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
11
From page :
1
To page :
11
Journal title :
IEE Proceedings Software
Serial Year :
2000
Journal title :
IEE Proceedings Software
Record number :
351869
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=351869
