Model checking, synthesis, and learning: essays dedicated to bengt jonsson on the occasion of his 60th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030913830
Date de publication :
22 nov. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.