Teknikker til konstruktion og verifikation af datamatbaserede systemer

  • Skakkebæk, Jens Ulrik (PhD Student)
  • Ravn, Anders P. (Main Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/09/199121/03/1995