LEADER 01621oam  2200433zu 450 
001 996204485703316
005 20210806235808.0
035   $a(CKB)1000000000022506
035   $a(SSID)ssj0000395472
035   $a(PQKBManifestationID)12155181
035   $a(PQKBTitleCode)TC0000395472
035   $a(PQKBWorkID)10453699
035   $a(PQKB)10994670
035   $a(EXLCZ)991000000000022506
100   $a20160829d2004      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aSIVOES-MoDeVa 2004 : 2004 1st International Workshop on Model, Design andf Validation (SIVOES-MoDeVa) : proceedings : 2 November, 2004, Rennes, Bretagne, France
210 31$a[Place of publication not identified]$cIEEE$d2004
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7803-8852-6 
606   $aComputer software$xTesting$vCongresses
606   $aComputer software$xReliability$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aComputer software$xTesting
615  0$aComputer software$xReliability
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.1
712 02$aIEEE Computer Society
712 12$aInternational Workshop on Model, Design and Validation
801  0$bPQKB
906   $aPROCEEDING
912   $a996204485703316
996   $aSIVOES-MoDeVa 2004 : 2004 1st International Workshop on Model, Design andf Validation (SIVOES-MoDeVa) : proceedings : 2 November, 2004, Rennes, Bretagne, France$92511056
997   $aUNISA