Design & Formal Verification of Control & Data Acquistion Protocols

  • Milne, G (Chief Investigator)
  • Griffiths, A. (Chief Investigator)
    StatusFinished
    Effective start/end date1/01/0231/12/04

    Funding

    • ARC Linkage Projects