News

IEEE22y
Formal verification of condition data flow diagrams for assurance of correct network protocols
Abstract: Condition data ... Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in the SOFL (Structured Object-Oriented Formal Language) specification language to describe the ...
IEEE6y
Error and Flow Control Protocol (EFCP) Design and Implementation: A Data Transfer Protocol for the Recursive InterNetwork Architecture
Abstract: The Recursive InterNetwork Architecture (RINA) is a back to basics computer network architecture that offers solutions for current and future networks. This ...