David Freestone

According to our database, David Freestone authored at least 4 papers between 1986 and 1990.

Collaborative distances:

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

1990

The Derivation of Conformance Tests from LOTOS Specifications.

David H. Pitt, David Freestone

IEEE Trans. Software Eng., 1990

1988

Specifying ROSE in LOTOS.

David Freestone, Sukhvinder S. Aujla

Proceedings of the Formal Description Techniques, 1988

Specification and Verification in Communications Standards.

David Freestone

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1986

OSI-Architecture - A Mathematical Framework.

David Freestone

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986