Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Praca zbiorowa Wydawca: Springer Nature Switzerland AG Data wydania: 2021 ISBN: 9783030913830 Liczba stron: 219 Format: 235 x 155 Rodzaj oprawy: Paperback / softback Opis produktu: 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.