Back to search results

Person

Dr. N. Trcka

Pagina-navigatie:

Update Persondata

Digital Author ID	info:eu-repo/dai/nl/298400405

Publications

Branching bisimulation congruence for probabilistic systems
Process mining from educational data (Chapter 9)
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
Parameterized partial orders for modeling embedded system use cases : formal definition and translation to coloured Petri nets
A visual language for modeling and analyzing printer data path architectures

All publications..

Completed research projects

(the most recent research is at the top)
Doctoral/PhD student	Tools and techniques for integrating performance analysis and system verification

Go to page top
Go back to contents
Go back to site navigation