ERIM Report Series reference number ERS-2002-68-MKT Publication July 2002 Number of pages 50 Email address corresponding author [email protected] Address Erasmus Research Institute of Management (ERIM) Rotterdam School of Management / Faculteit Bedrijfskunde Erasmus Universiteit Rotterdam P.O. Box 1738 3000 DR Rotterdam, The Netherlands Phone: +31 10 408 1182 Fax: +31 10 408 9640 Email: info...

This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship traffic to the port of Rotterdam. The control system, called Bos, completely autonomously decides about closing and opening of the barrier and, ...

Department of pediatric pulmonology, Erasmus MC-Sophia Children’s Hospital, Rotterdam, the Netherlands. Department of pediatrics, Medisch Centrum Rijnmond Zuid, Rotterdam, the Netherlands; Department of pediatrics, Albert Schweitzer Hospital, Dordrecht, the Netherlands; Department of pediatrics, Amphia Hospital, Breda, the Netherlands; Department of pediatrics, HagaTeaching Hospital/Juliana Chi...

Van Baalen, C.A., C. Els, L. Sprong, R. van Beek, E. van der Vries, A.D.M.E. Osterhaus 6 and G.F. Rimmelzwaan 7 1 Viroclinics Biosciences, Rotterdam, The Netherlands; 2 Erasmus MC Department of 8 Viroscience, Rotterdam, The Netherlands. 9 10 # Address correspondence to: [email protected] 11 12 Institutional addresses: 13 Viroclinics Biosciences; Marconistraat 16; 3029 AK Rotterdam; The Net...

Author details ViroScience Lab, Erasmus Medical Center, Erasmus MC, Room Ee1714, dr. Molewaterplein 50, Rotterdam 3015, GE, The Netherlands. Artemis One Health Research Institute, Utrecht, The Netherlands. VISAVET Centre, Animal Health Department, Complutense University of Madrid, Madrid, Spain. Department of Genetics, Erasmus Medical Center, Rotterdam, The Netherlands. Veterinary Services, Rot...

Erasmus universiteit Rotterdam; 1996. 30. Verhulst FC, Van der Ende J, Koot HM. Handleiding voor de Teacher’s Report Form (TRF) [Manual for the Teacher’s Report Form (TRF)]. Rotterdam, The Netherlands: Afdeling kinder-en jeugdpsychiatrie, Sophia Kinderziekenhuis/Academisch ziekenhuis Rotterdam/Erasmus universiteit Rotterdam; 1997. 31. Verhulst FC, Van der Ende J, Koot HM. Handleiding voor de Yo...

ERIM Report Series reference number ERS-2001-55-F&A Publication September 2001 Number of pages 31 Email address corresponding author [email protected] Address Erasmus Research Institute of Management (ERIM) Rotterdam School of Management / Faculteit Bedrijfskunde Erasmus Universiteit Rotterdam P.O. Box 1738 3000 DR Rotterdam, The Netherlands Phone: + 31 10 408 1182 Fax: + 31 10 408 9640 Email: i...

Raju Kandimalla, Roy Masius, Willemien Beukers, Chris H. Bangma, Torben F. Orntoft, Lars Dyrskjot, Nikki van Leeuwen, Hester Lingsma, Angela A. G. van Tilborg, Ellen C. Zwarthoff Department of Pathology, Erasmus MC, Rotterdam, The Netherlands Department of Urology, Erasmus MC, Rotterdam, The Netherlands Department of Molecular Medicine, Aarhus University Hospital, Aarhus, Denmark Department of ...

P. A. Wielopolski, P. Ciet, G. P. Krestin, M. H. Lequin, H. Tiddens, and R. Manniesing Radiology, Erasmus Medical Center, Rotterdam, Zuid-Holland, Netherlands, Department of Medical-Diagnostic Sciences and Therapies, Policlinico Universitario di Padova, Padova, Italy, Department of Pulmonology, Erasmus Medical Center, Rotterdam, Zuid-Holland, Netherlands, Department of Informatics and Radiology...

Rotterdam Study, Piter J. Bosma, Irene M. van der Meer, Conny T. Bakker, Albert Hofman, Marianne Paul-Abrahamse, and Jacqueline C. Witteman ( Liver Center, Academic Medical Center, Meibergdreef 9, 1105AZ Amsterdam, The Netherlands; 2 Department of Epidemiology & Biostatistics, Erasmus MC, University Medical Center, Rotterdam, PO Box 1738, 3000DR Rotterdam, The Netherlands; * author for correspo...