Person 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
ISNI ISNI 0000 0003 8998 567X

Active as

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


Current research

(the most recent research is at the top)
Researcher Active Learning of Security Protocols

Completed research projects


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