01621oam 2200433zu 450 99620448570331620210806235808.0(CKB)1000000000022506(SSID)ssj0000395472(PQKBManifestationID)12155181(PQKBTitleCode)TC0000395472(PQKBWorkID)10453699(PQKB)10994670(EXLCZ)99100000000002250620160829d2004 uy engtxtccrSIVOES-MoDeVa 2004 : 2004 1st International Workshop on Model, Design andf Validation (SIVOES-MoDeVa) : proceedings : 2 November, 2004, Rennes, Bretagne, France[Place of publication not identified]IEEE2004Bibliographic Level Mode of Issuance: Monograph0-7803-8852-6 Computer softwareTestingCongressesComputer softwareReliabilityCongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCComputer softwareTestingComputer softwareReliabilityEngineering & Applied SciencesComputer Science005.1IEEE Computer SocietyInternational Workshop on Model, Design and ValidationPQKBPROCEEDING996204485703316SIVOES-MoDeVa 2004 : 2004 1st International Workshop on Model, Design andf Validation (SIVOES-MoDeVa) : proceedings : 2 November, 2004, Rennes, Bretagne, France2511056UNISA