Gå direkte til innholdet
Model Checking, Synthesis, and Learning
Spar

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.
Undertittel
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Opplag
1st ed. 2021
ISBN
9783030913830
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.11.2021
Antall sider
219