KNAW

Person

Dr.ir. G.J. Tretmans

Expertise Formal methods; Software testing; Model-based testing
Expertise (NL) Formele methoden; Software testen; Model-gebaseerd testen
Digital Author ID info:eu-repo/dai/nl/089753712

Active as

Associate professor
Organisation Model Based System Development (RU)
Phone +31-24-3652069
Email tretmans -at- cs. ru. nl

Publications

Current research

Completed research projects

(the most recent research is at the top)
Researcher Software Technology
Researcher Informatics for Technical Applications

Classification


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