Real-Time Systems

Real-Time Systems
Real-Time Systems
Subtitle: Formal Specification and Automatic Verification
Author(s): Olderog, Est-Rudiger; Dierks, Henning

Paperback: 338 pages

Publisher: Cambridge University Press( September 11, 2008 )

ISBN-10: 0521883334