| |
| 1990 | ||
|---|---|---|
| 4 | EE | David H. Pitt, David Freestone: The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. 16(12): 1337-1343 (1990) |
| 1988 | ||
| 3 | David Freestone, Sukhvinder S. Aujla: Specifying ROSE in LOTOS. FORTE 1988: 231-245 | |
| 2 | David Freestone: Specification and Verification in Communications Standards. Specification and Verification of Concurrent Systems 1988: 474-485 | |
| 1986 | ||
| 1 | David Freestone: OSI-Architecture - A Mathematical Framework. ICCC 1986: 485-490 | |
| 1 | Sukhvinder S. Aujla | [3] |
| 2 | David H. Pitt | [4] |