Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

    Project Details

    StatusFinished
    Effective start/end date01/02/199923/08/2002
    • Interval logic. Proof theory and theorem proving

      Rasmussen, T. M., Aug 2002

      Research output: Book/ReportPh.D. thesisResearch

      Open Access
      File
      146 Downloads (Pure)