Improving the specification of the WiMax ARQ operation.

Ana Morales María Elena Villapol Luisana Contreras

Published in: CLEI (2014)

Keyphrases

resource management
wireless sensor networks
user defined
database
high level
specification language
real time
genetic algorithm
learning algorithm
learning objects
formal methods
application layer