Design & Formal Verification of Control & Data Acquistion Protocols

  • Milne, G (Chief Investigator)
  • Griffiths, A (Chief Investigator)

    Project Details

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

    Funding

    • ARC Linkage Projects