Coursera
EIT Digital
Quantitative Formal Modeling and Worst-Case Performance Analysis (Coursera)
Dive into 'Quantitative Formal Modeling and Worst-Case Performance Analysis' - a course designed for those looking to enhance their understanding of abstract thinking, modeling, and solving performance issues using formal methods. Learn how to mathematically analyze systems, from token production/consumption to Petri-nets, with a focus on single-rate dataflow graphs.