Home > Research > Browse

Research

Results for Formal specification

Publications & Outputs

  1. Formal specification and verification of multimedia systems in open distributed processing.

    Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 30/09/1995, In: Computer Standards and Interfaces. 17, 5-6, p. 413-436 24 p.

    Research output: Contribution to Journal/Magazine › Journal article

  2. The practical integration of manufacturing applications

    Busby, J. S. & Hutchison, D., 1/02/1992, In: Software: Practice and Experience. 22, 2, p. 183-207 25 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review