Graphical modelling for simulation and formal analysis of wireless network protocols
Ansgar Fehnker‚ Matthias Fruth and Annabelle McIver
Details
| Book Title |
Proceedings of the Workshop on Methods‚ Models and Tools for Fault Tolerance (MeMoT 2007) at the 7th International Conference on Integrated Formal Methods (IFM 2007) |
| Note |
Technical Report CS−TR−1032‚ University of Newcastle upon Tyne |
| Pages |
80–87 |
| Year |
2007 |
Links
Related pages
|
People |