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 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Waga, Masaki.; Soudjani, Sadegh.; Hillston, J.
(Language materials, printed)
