Role within the ArtistDesign European Network of Excellence

 

Role within the Artist2 European Network of Excellence
Co-organiser of the Artist2 / UNU-IIST School in China - 2007


Company or Institution
UNU-IIST Macau
 
Contact
Home page: http://www.iist.unu.edu/~lzm/
Email:  Z.Liu@iist.unu.edu    Tel: +853 712930
My research is in the areas of
- Formal Theories and Methods for Computing Systems Development. In particular, I am interested in
- Formal Techniques for Object-Oriented Systems Development
- Formal Models and Methods of Component Systems Development
- Formal Support to UML-Based Software Development
- Fault-Tolerant and Real-Time Embedded Systems
(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet