SIVOES-MoDeVa 2004 2004 1st International Workshop on Model, Design Andf Validation (SIVOES-MoDeVa) : Proceedings : 2 November, 2004, Rennes, Bretagne, France by IEEE Computer Society Staff | Menrva Books