Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

    Project Details

    StatusFinished
    Effective start/end date01/02/1999 → 23/08/2002

    Funding

    • DTU stipendium

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
    View full fingerprint
    • 1 Ph.D. thesis

    • Interval logic. Proof theory and theorem proving

      Rasmussen, T. M., Aug 2002

      Research output: Book/Report › Ph.D. thesis

      Open Access
      File
      203 Downloads (Pure)