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