Algebraic Formal Specification and Formal Validation of the Standard and an Implementation of the OSPF Protocol |
박재현 (중앙대학교 컴퓨터공학부 초고속통신 연구실) |
1 |
OSPF Version 2
/
|
2 |
A Modular Proof of Correctness for a Network Synchronizer
/
DOI |
3 |
Communicating Sequential Processes
/
|
4 |
Communication and Concurrency
/
|
5 |
Formal Specification, Verification, and Automatic Test Generation of ATM Routing Protocol: PNNI
/
|
6 |
Validation of the Detailed Design of the Label Distribution Protocol for the MultiprotocolLabel Switching System
/
|
7 |
OSPF Complete Implementation
/
|
8 |
/
|
9 |
Formal Verification of Standards for Distance Vector Routing Protocols
/
DOI ScienceOn |
10 |
Validation of the Detailed Design of the Label Distribution Protocol for the Multiprotocol Label Switching System
/
|
11 |
A Highly Available Local Leader Election Service
/
DOI ScienceOn |