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
Specifying and verifying medical robotics software to ensure harmless operation
Herbert, Luke Thomas
(PhD Student)
Hansen, Michael Reichhardt
(Supervisor)
Kindler, Ekkart
(Examiner)
Fränzle, Martin
(Examiner)
Weske, Mathias
(Examiner)
Sharp, Robin Ian
(Main Supervisor)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/03/2010
→
24/06/2014
Funding
Technical University of Denmark
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.
Specification Optimization
Keyphrases
100%
Resource Modelling
Keyphrases
12%
Mathematical Structure
Computer Science
11%
Research output
Research output per year
2014
2014
2014
1
Ph.D. thesis
Research output per year
Research output per year
Specification, Verification and Optimisation of Business Processes: A Unified Framework
Herbert, L. T.,
2014
, Kgs. Lyngby:
Technical University of Denmark
.
300 p.
(DTU Compute PHD-2014; No. 303).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Specification Optimization
100%
Resource Modelling
12%
Mathematical Structure
11%
1670
Downloads (Orbit)