30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Davide BasileMaurice H. ter BeekFelicita Di GiandomenicoAlessandro FantechiStefania GnesiGiorgio Oronzo SpagnoloPublished in: ISoLA (1) (2020)
Keyphrases
- quantitative analysis
- qualitative evaluation
- qualitative analysis
- qualitative and quantitative analysis
- years ago
- end users
- quantitative evaluation
- artificial intelligence
- information systems
- model checking
- statistical analysis
- software tools
- image quality
- information technology
- knowledge base
- cell segmentation
- data mining