Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research Units
Research output
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
Research output
(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
Engineering & Materials Science
100%
Real time systems
Engineering & Materials Science
56%
Formal verification
Engineering & Materials Science
22%
Formal methods
Engineering & Materials Science
21%
Computer systems
Engineering & Materials Science
16%
Acoustic waves
Engineering & Materials Science
14%
Experiments
Engineering & Materials Science
6%
Research output
Research output per year
2002
2002
2002
1
Ph.D. thesis
Research output per year
Research output 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%
Real time systems
56%
Formal verification
22%
Formal methods
21%
Computer systems
16%
151
Downloads (Pure)