dml-examples issueshttps://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples/-/issues2017-08-18T13:18:45+02:00https://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples/-/issues/7Provide DML example using Coarsegrained/Blackbox behavior2017-08-18T13:18:45+02:00Chair of Software EngineeringProvide DML example using Coarsegrained/Blackbox behaviorA model that defines all three types of behaviorsA model that defines all three types of behaviorshttps://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples/-/issues/6ispass03 model provides wrong results2017-08-18T13:18:44+02:00Chair of Software Engineeringispass03 model provides wrong resultsThe ispass03 models current results are not in line with the results from the paper/QPN.
This seems to be a modeling issue.The ispass03 models current results are not in line with the results from the paper/QPN.
This seems to be a modeling issue.https://gitlab2.informatik.uni-wuerzburg.de/descartes/dml-examples/-/issues/4Provide DML example using probabilistic dependecies2017-08-18T13:18:43+02:00Chair of Software EngineeringProvide DML example using probabilistic dependeciessee section 7.3 of Fabian Brosig`s PhDsee section 7.3 of Fabian Brosig`s PhD