KNAW
Narcis
Back to search results
Person
Dr. S.P. Luttik
Pagina-navigatie:
Main
Current research (1)
Completed research (1)
Publications (61)
Miscellaneous (3)
Enhanced publications (1)
Update Persondata
graphs
logic
tree
Digital Author ID
info:eu-repo/dai/nl/161402836
Active as
Researcher
Organisation
Subdepartment of Computer Science (TU/e)
Email
s. p. luttik -at- TUE. nl
Publications
Automated Verification of Executable UML Models
Computations and interaction
Unguardedness mostly means many solutions
On the axiomatizability of priority II
Reactive Turing machines
All publications..
Enhanced publications
Doctoral Thesis: What to do next? Analysing and optimising system behaviour in time
Current research
(the most recent research is at the top)
Project leader
Models of Computation: Automata and Processes
Completed research projects
(the most recent research is at the top)
Researcher
Specification and analysis of embedded systems (SEN2)
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
