Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

master theses

see also

supervisor

Frank de Boer

overview

3 theses
thesis full
text
academic
year
author / title / supervisors
INF/SCR-2001-17 no pdf 2001 Pierik C., Computer-aided verification of annotated object-oriented flowcharts
dr. Frank de Boer, prof. dr. John-Jules Meyer (0:0)
INF/SCR-2000-18 no pdf 2001 Anker S., A component-based framework for building hybrid agent software
dr. Frank de Boer, prof. dr. John-Jules Meyer (0:0)
INF/SCR-1998-19 no pdf 1998 Weerdt M. de, Specifying uncertainty for mobile robots
dr. Frank de Boer