SVERTS - Specification and Validation of Real-Time and Embedded Systems

: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the UML 2004 conference. The main themes discussed at this years workshop concerned modeling of real-time features with the perspective of validation as well as some particular validation issues.

• Type: Conference
• Year: 2004
• Where: UML
• Authors: Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
• Keywords: Embedded Systems, Particular Validation Issues, Real-time Features, UML 2004