Applying formal methods for the design of wireless telecommunication systems.

Konstantinos Antonis Nikos S. Voros

Published in: MobiMedia (2007)

Keyphrases

formal methods
artificial intelligence
telecommunication systems
model checking
knowledge based systems
safety critical
software engineering
building blocks
case study
real time
control system
high speed
software development
design process
mobile devices
design patterns
embedded systems
modeling language