News

IEEE22y
Formal verification of condition data flow diagrams for assurance of correct network protocols | IEEE Conference Publication | IEEE Xplore
Condition data flow diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in the SOFL (Structured ...
IEEE6mon
Error and Flow Control Protocol (EFCP) Design and Implementation: A Data Transfer Protocol for the Recursive InterNetwork Architecture
The Recursive InterNetwork Architecture (RINA) is a back to basics computer network architecture that offers solutions for current and future networks. This pap ...