MPG.eBooks - Search Results - "mechanical"

Cover Image

1

Compositional Verification of Concurrent and Real-Time Systems

by Juan, Eric Y.T., Tsai, Jeffrey J.P.
Published 2002

Springer US

Subjects: “...Mechanical engineering...”