Abstract | ||
---|---|---|
Full or partial reconfiguration of communications devices offers both optimised performance for niche scenario-specific deployments and support for de-regulated radio spectrum management. The correctness of the protocols or protocol-enhancements being deployed in such a dynamic and autonomous manner cannot easily be determined through traditional testing techniques. Formal description techniques a... |
Year | DOI | Venue |
---|---|---|
2007 | 10.1049/iet-sen:20060057 | IET Software |
Keywords | Field | DocType |
access protocols,formal verification,Petri nets | Petri net,Computer science,Deadlock,Correctness,Formal specification,Real-time computing,Resource allocation,Formal methods,Control reconfiguration,Formal verification,Distributed computing | Journal |
Volume | Issue | ISSN |
1 | 2 | 1751-8806 |
Citations | PageRank | References |
3 | 0.41 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Russell J. Haines | 1 | 137 | 9.19 |
Gary Clemo | 2 | 39 | 7.51 |
Alistair D. Munro | 3 | 3 | 0.75 |