Real-Time Systems: Formal Specification and Automatic Verification
by Ernst-Rüdiger Olderog,Henning Dierks
ISBN 13: 9780521883337
Format: Hardcover (344 pages) Publisher: Cambridge University Press Published: 11 Sep 2008
Save for later