• MARKMOD

  • Referenced in 1 article [sw19150]
  • results for the investigated model. The MARKMOD software package was built on MOSEL and SPNP...
  • MOSEL

  • Referenced in 26 articles [sw30205]
  • MOSEL: Modeling, Specification and Evaluation Language. MOSEL is...