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

Gespeichert in:
Weitere Titel:
IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
IET