KNAW

Back to search results
Organisation

Model Based System Development

Pagina-navigatie:
  • Main


Update Organisation Data


Part of Institute for Computing and Information Sciences - ICIS
Part of Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Part of Radboud Universiteit Nijmegen
Address Heyendaalseweg 135, kamernr: HG.02.624, 6525 AJ Nijmegen
Get directions Google Maps
Postal address Postbus 9010, 6500 GL Nijmegen
Phone +31-24-3653132
Email i. berenbroek -at- cs. ru. nl

People

Professor Prof.dr. J.J.M. Hooman
Professor Prof.dr.ir. M.J. Plasmeijer
Professor Prof.dr. F.W. Vaandrager
Extraordinary professor Prof.dr. H.A. Proper
Extraordinary professor Prof.dr. M. van Vliet
Associate professor Prof.dr. P.J.F. Lucas
Associate professor Dr.ir. G.J. Tretmans
Associate professor Dr. H. Wupper

Current research

(the most recent research is at the top)
Secretariat Formal Reasoning about clinical management quality
Secretariat Abstraction Refinement for Timed Systems

Classification

D16000 Computer science

Go to page top
Go back to contents
Go back to site navigation