KNAW
Narcis
Back to search results
Person
Dr. H. Wupper
Pagina-navigatie:
Main
Completed research (1)
Publications (15)
Update Persondata
embedded
methodology
specification
systems
Expertise
Embedded systems; Specification; Methodology
Expertise (NL)
Embedded systems; Specificatie; Methodologie
Digital Author ID
info:eu-repo/dai/nl/072777729
Active as
Associate professor
Organisation
Model Based System Development (RU)
Phone
+31-24-3652227
Email
hanno. wupper -at- cs. ru. nl
Publications
A Taxonomy of Modelling Decisions for Embedded Systems Verification
Paradoxen in de ICT: wat is de beste manier om iets te zeggen?
Paradoxen in de ICT: een programma is een programma is een programma
Deduction using the ProofWeb system
Modelling Embedded Systems by Non-Monotonic Refinement
All publications..
Completed research projects
(the most recent research is at the top)
Researcher
Informatics for Technical Applications
Classification
D16000
Computer science
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation