• Home
  • Research
  • Training
  • People
  • About Us
  
Home Research

Main Menu

  • Home
  • Research
    • Technical Reports
    • Visiting Positions
  • Training
  • People
  • About Us
  • Search
  • Login/out

Links

  • UNU-IIST Center for Electronic Governance
  • rCOS: Method of Model-Driven Software Design
  • Waterbase
  • UNU Update
  • UNU News
  • United Nations University
  • United Nations
 
 

Research Projects

  • Formal Methods Tools and Applications
  • Formal Modelling and Analysis of Complex Systems
  • Open Source Software for Environmental and Health Management
  • rCOS: Refinement of Component and Object System

Powered by Joomla!. valid XHTML and CSS.