Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

Milica Barjaktarović, Shiu Kai Chin, Kamal Jabbour

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS'. Together they form a unique fingerprint.

Engineering & Materials Science