مرکز منطقه ای اطلاع رساني علوم و فناوري - Applicable modelling, verification and analysis techniques for real-time systems

DocumentCode :

336024

Title :

Applicable modelling, verification and analysis techniques for real-time systems

fYear :

1999

fDate :

36171

fLanguage :

English

Publisher :

iet

Conference_Titel :

Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1999/006), IEE Colloquium on

Conference_Location :

IET

Type :

conf

Filename :

755108

Link To Document :