Login / Signup
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.
Jeroen J. A. Keiren
Martijn Klabbers
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
</>
wireless lan
model checking
machine learning
real time
artificial intelligence
decision making
image processing
multiscale
search algorithm
digital libraries
probabilistic model
web search
intelligent agent technology