Petri-nets for formal verification of MAC protocols.
| Autor: | Haines, R. J.1,2 russell.haines@toshiba-trel.com, Clemo, G. R.2, Munro, A. T. D.1 |
|---|---|
| Zdroj: | IET Software (Institution of Engineering & Technology). Apr2007, Vol. 1 Issue 2, p39-47. 9p. 5 Diagrams, 3 Charts, 3 Graphs. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|