Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

Rasmussen, Thomas Marthedal (PhD Student)
Hansen, Michael Reichhardt (Main Supervisor)
Rischel, Hans (Supervisor)
Løvengreen, Hans Henrik (Examiner)
Guldstrand Larsen, Kim (Examiner)
Nipkow, Tobias (Examiner)

Project Details

Status	Finished
Effective start/end date	01/02/1999 → 23/08/2002

1 Ph.D. thesis

Interval logic. Proof theory and theorem proving
Rasmussen, T. M., Aug 2002
Research output: Book/Report › Ph.D. thesis › Research

Open Access
File
146 Downloads (Pure)