Search alternatives:
"structures" » "structure"
Cover Image
Read Now

1
by Alur, Rajeev
Published 2004
Springer Berlin Heidelberg
Subjects: “...Structural control (Engineering)...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Reduction -- Verification via Structure Simulation -- Symbolic Parametric Safety Analysis of Linear Hybrid...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... and verification of an industrial press -- Abstract verification of structured dynamical systems -- Design...”