search

MartinBruun / P6

2 stars 0 forks source link

(chapter 01/02/03/.../09) Uppaal #311

Closed saxjax closed 2 years ago

saxjax commented 2 years ago

Write somewhere that we have made a UppAal model and used it for ... it showed that the system had some challenges with payments....canceling