ProB2-UI Overview
-
24 views
-
0 likes
- hochgeladen 21. Oktober 2024
Features of ProB2-UI, the user interface for the ProB animator, model checker and constraint solver
Kategorien:
Tutorials
Vortragende:r/Redner:in: Michael Leuschel
Lizenz: Creative Commons Attribution 3.0 Germany (CC BY 3.0)
Lizenz: Creative Commons Attribution 3.0 Germany (CC BY 3.0)
