Read news on based verification with our app.
Read more in the app
Petri net-based verification takes center stage in latest book on control systems - EurekAlert!