Quantitative evaluation of systems and formal modeling and analysis of timed systems: third international joint conference, qest+formats 2026, liverpool, uk, september 2–4, 2026, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032352972
Date de publication :
30 août 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse