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...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Hillston, Jane (Editor), Soudjani, Sadegh (Editor), Waga, Masaki (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Udgivelse:	1st ed. 2024.
Serier:	Lecture Notes in Computer Science, 14996
Fag:	Computer science. Computer science > Mathematics. Computer engineering. Computer networks . Software engineering. Artificial intelligence. Theory of Computation. Mathematics of Computing. Computer Engineering and Networks. Software Engineering. Artificial Intelligence.
Online adgang:	https://doi.org/10.1007/978-3-031-68416-6
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!