Applicable formal methods for safe industrial products: essays dedicated to jan peleska on the occasion of his 65th birthday
Éditeur :
Springer International Publishing AG
ISBN :
9783031401312
Date de publication :
17 août 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.