作者: Jane Hillston

支持

2 电子书 Jane Hillston

的封面 Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation
Marco Bernardo & Jane Hillston: Formal Methods for Performance Evaluation
…
PDF
英语
DRM
€57.91
的封面 Jane Hillston & Sadegh Soudjani: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
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
英语
DRM
€167.05