Real time systems Specification,verification and analysis.
Joseph Mathai Ed.
Real time systems Specification,verification and analysis. Joseph Mathai Ed. - London Prentice-Hall 1996 - xiv,278p cm. - Prentice-Hall international series in computer science .
885
Textual
Real-Time Systems
D6,8(B2895), N6
Real time systems Specification,verification and analysis. Joseph Mathai Ed. - London Prentice-Hall 1996 - xiv,278p cm. - Prentice-Hall international series in computer science .
885
Textual
Real-Time Systems
D6,8(B2895), N6