Student Projects: 1998 - 2003

• Dat8 Testing Control Software Through Environment Emulation - Part Two
• Dat7 Testing Control Software Through Environment Emulation - Part One
• Dat6 Compositional Backwards Reachability for Timed Automata
• Dat5 Compositional Backwards Reachability for Simple Timed Automata
• Dat4 MPI Broadcast on SCI
• Dat3 RoboCup - A Bayesian Approach
• Dat2 WIDE WMLScript Integrated Development Environment
• Dat1 Radio Administrations System
• P2 Ruteplanlægning til turister i Aalborg
• P1 Teknologiimplementering og protokolmodelering hos IFAK
• P0 Fremtidens mobilnet... UMTS?