• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Building a Formal Framework for Mobile Ad Hoc Computing

Lu Yan, Jincheng Ni, Building a Formal Framework for Mobile Ad Hoc Computing. In: Proceedings of the International Conference on Computational Science (ICCS 2004), Lecture Notes in Computer Science (LNCS) 3036, Springer-Verlag, 2004.

Abstract:

We present a formal framework towards a systematic design for MANET applications. In this paper, we define a layered architecture for mobile ad hoc computing and specify the system components with the B method and UML diagrams.

BibTeX entry:

@INPROCEEDINGS{inpYaNi04a,
  title = {Building a Formal Framework for Mobile Ad Hoc Computing},
  booktitle = {Proceedings of the International Conference on Computational Science (ICCS 2004)},
  author = {Yan, Lu and Ni, Jincheng},
  series = {Lecture Notes in Computer Science (LNCS) 3036},
  publisher = {Springer-Verlag},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication