Real-Time Systems: Formal Specification and Automatic Verification

Verification

by: Ernst-Rüdiger Olderog · Henning Dierks

Hardcover

ISBN: 978-0-521-88333-7

ISBN-10: 0-521-88333-4

Cambridge University Press · 2008