Design & Formal Verification of Control & Data Acquistion Protocols

  • Milne, George (Chief Investigator)
  • Griffiths, A. (Chief Investigator)

    Project Details

    StatusFinished
    Effective start/end date1/01/0231/12/04

    Funding

    • ARC Linkage Projects