Randall W. Lichota

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin
Verifying The Correctness Of Cryptographic Protocols Using "Convince". ACSAC (1996)
Mario R. Barbacci, Charles B. Weinstock, Dennis L. Doubleday, Michael J. Gardner, Randall W. Lichota
Durra: a structure description language for developing distributed applications. Softw. Eng. J. 8 (2) (1993)
Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota
Building fault tolerant distributed applications with Durra. CDS (1992)
Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota
Building distributed Ada applications from specifications and functional components. TRI-Ada (1991)
Mario Barbacci, Randall W. Lichota
Durra: an integrated approach to software specification, modeling and rapid prototyping. RSP (1991)
Alice H. Muntz, Randall W. Lichota
A Requirements Specification Method for Adaptive Real-Time Systems. RTSS (1991)