Home > Research > Browse

Results for formal description techniques

Publications & Outputs

  1. Formal description of multimedia systems : an assessment of potential techniques.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 12/1995, In: Computer Communications. 18, 12, p. 964-977 14 p.

    Research output: Contribution to journalJournal article

  2. An introduction to LOTOS through a worked example.

    Drayton, L. D., Chetwynd, A. G. & Blair, G. S., 03/1992, In: Computer Communications. 15, 2, p. 70-85 16 p.

    Research output: Contribution to journalJournal article