HRT-HOODTM

Real-Time Safety Critical Systems (Series)

Book 3

A. Burns Author
A. Wellings Author
(1995)

Towards Verified Systems

Real-Time Safety Critical Systems (Series)

Book 2

J. Bowen Editor
(2013)