Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies

Kathrin Hoffmann, The Formal Specification Column, by H. Ehrig

Abstract


Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies

Full Text:

PDF

Refbacks

  • There are currently no refbacks.