Login / Signup

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng XingBart D. TheelenRom LangerakJaco van de PolJan TretmansJeroen Voeten
Published in: ACSD (2010)
Keyphrases
  • quantitative analysis
  • qualitative analysis
  • qualitative and quantitative analysis
  • model checking
  • qualitative evaluation
  • genetic algorithm
  • image quality
  • linear transformation