All Products

Showing 1 to 2 of 2 Products

HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems

Product Type: Book

Edition: 1

Volume: 3

First Published: 1995

eBook: 978-0-08-055183-8

Towards Verified Systems

Product Type: Book

Edition: 1

Volume: 2

First Published: 1994

eBook: 978-1-4832-9152-9