This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selecte…
This volume constitutes the refereed post-conference proceedings of the 6th International Conference on Machine Learning and Intelligent Communications, MLICOM 2021, held in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 28 revised full papers wer…
This proceedings constitutes the refereed post-conference proceedings of the 13th International Conference on Simulation Tools and Techniques, SIMUTools 2021, held in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 63 revised full papers were caref…
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewe…
