contractors
industrial partners
 
Participants
Radboud Universiteit Nijmegen  
 
TAROT designation : RUN
Address :
Country : Netherlands
Website : http://www.ru.nl

Contact : Jan Tretmans, tretmans@cs.ru.nl


Significant recent publications :
  • P. Koopman, A. Alimarine, J. Tretmans and R. Plasmeijer, GAST : Generic Automated Software Testing. In IFL'02 - Implementation of Functional Languages, Lecture Notes in Computer Science, Springer-Verlag, 2003.

  • J. Tretmans, K. Wijbrans and M. Chaudron, Software Engineering with Formal Methods : The Development of a Storm Surge Barrier Control System - Revising Seven Myths of Formal Methods.



  • Accueil Plan du site Contact Plan d'accès Rechercher Mentions légales