SIVOES-MoDeVa 2004 2004 1st International Workshop on Model, Design andf Validation (SIVOES-MoDeVa) : proceedings : 2 November, 2004, Rennes, Bretagne, France / sponsored by IEEE Computer Society ... [et al.].

Portion of title Model design and validation
General note"IEEE Catalog Number 04EX984"--T.p. verso.
Bibliography noteIncludes bibliographical references and author index.
Access restrictionAvailable only to authorized users.
Other formsAlso available via the World Wide Web.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2005298308
ISBN0780388526