Kamal Jabbour
According to our database1,
Kamal Jabbour
authored at least 9 papers
between 1985 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996
1995
Formal specification and verification of communication protocols using automated tools .
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995
1994
An Optical Hypercube Local Area Network.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994
1993
Proceedings of the 1993 International Conference on Network Protocols, 1993
1988
IEEE Trans. Computers, 1988
1987
IEEE J. Sel. Areas Commun., 1987
1986
1985
Proceedings of the IEEE International Conference on Acoustics, 1985