Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.

Julia Padberg Hartmut Ehrig Kathrin Hoffmann

Published in: Bull. EATCS (2007)

Keyphrases

data analysis
image analysis
case study
lightweight
formal analysis
database
real time
information systems
image processing
database systems
multiscale
statistical analysis
quality of service
mobile ad hoc networks