Gå direkt till innehållet
Model Checking, Synthesis, and Learning
Spara

Model Checking, Synthesis, and Learning

His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
Undertitel
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Upplaga
1st ed. 2021
ISBN
9783030913830
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2021-11-22
Sidor
219