Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
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)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/02/1999
→
23/08/2002
View all
View less
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.
Theorem Proving
Computer Science
100%
Case Study
Computer Science
60%
Real Time Systems
Computer Science
60%
Natural Deduction
Computer Science
40%
Subformula Property
Computer Science
20%
Computer System
Computer Science
20%
Classes
Computer Science
20%
Computer
Computer Science
20%
Research output
Publications per year
2002
2002
2002
1
Ph.D. thesis
Publications per year
Publications per year
Interval logic. Proof theory and theorem proving
Rasmussen, T. M.
,
Aug 2002
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Theorem Proving
100%
Case Study
60%
Real Time Systems
60%
Natural Deduction
40%
Formal Verification
20%
168
Downloads (Pure)