A New Framework for Discrete-Event Systems (Foundations and Trends (R) in
78,74 €
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:
