Formelle metoder til test af parallelle systemer

    Project Details

    StatusFinished
    Effective start/end date01/09/199005/07/1994

    Funding

    • DTU stipendium