 |
| Pakistan Research Repository | Home |
|
Title of Thesis Comprehensive Study of Various Aspects of Computer Protocol Engineering |
|
Author(s) |
| Institute/University/Department
Details Faculty of Information Technology / Preston University, Kohat |
| Session 2005 |
| Subject Information Technology |
| Number of Pages 269 |
| Keywords (Extracted from title, table of contents and
abstract of thesis) Comprehensive, Study, Various, Aspects, Computer, Protocol, Engineering |
|
Abstract |
| Download Full Thesis |  23,845 KB |
 |
|
|
|
|
| S. No. | Chapter | Title of the Chapters | Page | Size (KB) |
|
|
|
|
|
| 1 | 0 |
CONTENTS
|
v | 379 KB |
|
|
|
|
|
| 2 |
1 |
INTRODUCTION | 1 | 2,319 KB |
|
|
|
|
|
| 3 | 2 | FORMAL MODELS FOR PROTOCOL SPECIFICATION | 28 |
3,550 KB |
|
|
|
|
|
| 4 | 3 | PROTOCOL VALIDATION, VERIFICATION AND CONFORMITY ANALYSIS | 69 |
2,799 KB |
|
|
|
|
|
| 5 | 4 | PROTOCOL SYNTHESIS | 98 |
3,424 KB |
|
|
|
|
|
| 6 | 5 | PROTOCOL CONVERSION | 134 |
1,783 KB |
|
|
|
|
|
| 7 | 6 | AUTOMATIC PROTOCOL DESIGN, IMPLEMENTATION AND CONFORMANCE TESTING | 152 |
2,439 KB |
|
|
|
|
|
| 8 | 7 | CONCLUSIONS & FURTHER WORK | 176 |
1,463 KB |
|
|
|
|
|
| 9 | 8 | BIBLIOGRAPHY & APPENDICES | 190 |
4,946 KB |
|
|
|
|
|