Milica Barjaktarovic

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Milica Barjaktarovic
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. ICFEM (1997)
Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. ISSTA (1996)
Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
Formal specification and verification of communication protocols using automated tools . ICECCS (1995)