مرکز منطقه ای اطلاع رساني علوم و فناوري - Specification, validation, and verification of time-critical systems

Title of article :

Specification, validation, and verification of time-critical systems

Author/Authors :

Shiuh-Pyng Shieh، نويسنده , , Jun-Nan Chen، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

460

To page :

469

Keywords :

Pathapproach , Time-critical systems , Verification , Specification , Reachability analysis , validation , The space explosion problem

Journal title :

Computer Communications

Serial Year :

1998

Journal title :

Computer Communications

Record number :

308827

Link To Document :