Formal verification of connectivity management models in M2M communications.

Anastas Nikolov Evelina Pencheva Ivaylo Atanasov

Published in: BlackSeaCom (2016)

Keyphrases

formal verification
management system
model checking
neural network
artificial intelligence
probabilistic model
information systems
data processing
complex systems
network management