Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings /
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 took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edition: | 1st ed. 2024. |
| Series: | Lecture Notes in Computer Science,
14996 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-68416-6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: