A Formal Specification Framework for Ad Hoc Mobile Communication Networks.

Iakovos Ouranos Petros S. Stefaneas Panagiotis Frangos

Published in: SOFSEM (2) (2007)

Keyphrases

communication networks
formal specification
wireless communication
specification language
computer networks
formal methods
artificial intelligence
social networks
software systems