IST-2001-33522 OMEGA

Related IST Projects

• IST-1999-20608 CARTS


• IST-1999-11557 INTERVAL - Formal Design, Testing and Validation of Real-Time Telecommunication Systems, 1999-2001


• IST-1999-10069 AIT-WOODDES, 1999-2002


• IST-1999-10913, Safe Air, 2000-2002
  
  
• IST-2001-35304, AMETIST - Advanced Methods for Timed Systems, 2002-2005
  
  
• IST Network ARTIST - Advanced Real-Time and Embedded systems - and IST Network of Excellence ARTIST - Embedded Systems, 2002-2008
  
  
• IST Integrated Project ASSERT - Automated proof-based System and Software Engineering for Real-Time systems, 2004-2007
  
  

External Links

• latest UML 2 drafts


• document on semantics of UML 1.4(ps and pdf)