Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
18 18 people viewed this event.
The Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) will be held in Aarhus, Danemark.
Topics of interest include, but are not limited to: Verification, Stochastic Models, Timed Systems, Computer Systems And Networks
Submission deadline for conference contributions is Apr 11, 2025.