|
|
Formal Methods and Tools Group
Department of Computer Science
Faculty of Electrical Engineering, Mathematics, and Computer Science
University of Twente
Postbus 217
7500 AE Enschede
Netherlands
Phone: +31 53 489 3135
Fax: +31 53 489 32 47
E-mail: a.p.nijmeijer, then AT, then ewi.utwente.nl
Homepage: http://www.ewi.utwente.nl/~andre/
Office: Zilverling 5090
I am a scientific programmer in the Formal Methods and Tools group, working
on the MOQS
(modeling and analysis of QoS of component-based designs) project.