Distributed parameter sweep for UPPAAL models

Student thesis: Master thesis (including HD thesis)

  • Jimmy Merrild Krag
  • Peter Schmidt Freiberg
  • Brian Villumsen
1. term, Computer Science, Master (Master Programme)
LanguageEnglish
Publication date11 Jan 2011
Number of pages59
ID: 43844898