Logical Analysis of Hybrid Systems
Subtitle: Proving Theorems for Complex Dynamics
Publisher: Springer
Published: 2010
Language: eng
ISBN-13: 9783642145094
Subjects: System analysis; Engineering; System theory