Formal modeling and quantitative analysis of KLAIM-based mobile systems.

Rocco De Nicola Diego Latella Mieke Massink

Published in: SAC (2005)

Keyphrases

quantitative analysis
qualitative analysis
qualitative evaluation
complex systems
qualitative and quantitative analysis
mobile devices
ground truth
e learning
multimedia
mobile phone
intelligent systems
learning systems
modeling language
mobile services
formal methods