@inproceedings{GHO+04,
title = { {SVERTS} - Specification and Validation of Real-time and Embedded Systems, workshop overview },
author = {Graf, Susanne and Haugen, Oystein and Ober, Ileana and Selic, Bran},
year = {2004},
booktitle = {UML Modeling Languages and Applications, UML 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers},
series = {LNCS},
volume = { 3297},
team = {DCS},
abstract = {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. },
}
