David Freestone

Publication Activity (10 Years)

Years Active: 1986-1990
Publications (10 Years): 0

Publications

David H. Pitt, David Freestone
The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. 16 (12) (1990)
David Freestone, Sukhvinder S. Aujla
Specifying ROSE in LOTOS. FORTE (1988)
David Freestone
Specification and Verification in Communications Standards. Specification and Verification of Concurrent Systems (1988)
David Freestone
OSI-Architecture - A Mathematical Framework. ICCC (1986)