Penulis: Masaki Waga

Dukung

1 Ebooks oleh Masaki Waga

Jane Hillston & Sadegh Soudjani: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which too …
EPUB
Inggris
DRM
€167.05