A New Framework for Discrete-Event Systems (Foundations and Trends (R) in
98,80 €
Real-world problems are often formulated as diverse properties of different types of dynamical systems. Hence property verification and synthesis have been long-standing research interests.
Jetzt bei Ebay:
