Milica Barjaktarovic

According to our database, Milica Barjaktarovic authored at least 3 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN.

Milica Barjaktarovic

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Formal specification and verification of communication protocols using automated tools .

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995