Leader
|
|
|
00000cz a2200037n 45 0 |
001
|
|
|
SUDOC|12405188X
(VIAF cluster)
(Authority/Source Record)
|
005
|
|
|
202010170109.1 |
008
|
|
|
080520 nfazznn||| |n aaa |d |
003
|
|
|
SUDOC |
035
|
|
|
‡a
(SUDOC)12405188X
|
024
|
7 |
|
‡a
0000000357844979
‡2
isni
|
035
|
|
|
‡a
http://viaf.org/viaf/202227349
|
046
|
0 |
|
‡f
19740131
|
072
|
|
7 |
‡2
ESR
|
100
|
1 |
|
‡a
de Araujo Rodrigues Vieira, Elisangela,
‡d
1974-....
|
670
|
|
|
‡a
Automated model-based test generation for timed systems / Elisangela de Araujo Rodrigues Vieira, 2007 [Thèse]
|
678
|
|
|
‡a
Auteur d'une thèse de : Informatique, Evry-Val d'Essonne, Evry, INT (en 2007)
|
909
|
|
|
‡a
(isni) 0000000357844979
‡9
1
|
910
|
|
|
‡a
generationautomatiquedetestpourlessytemestemporises
‡A
Génération automatique de test pour les sytèmes temporisés.
‡l
eng
‡9
2
|
910
|
|
|
‡a
automatedmodelbasedtestgenerationfortimedsystems
‡A
Automated model-based test generation for timed systems /
‡l
eng
‡9
2
|
922
|
|
|
‡a
fr
‡b
fr
‡9
2
|
930
|
|
|
‡a
elisangela de araujo rodrigues vieira
‡c
Elisangela de Araujo Rodrigues Vieira ; sous la direction de Ana Cavalli.
‡9
2
|
940
|
|
|
‡a
eng
‡9
4
|
943
|
|
|
‡a
200x
‡9
1
|
944
|
|
|
‡a
am
‡9
2
|
950
|
|
|
‡a
cavalli ana
‡A
Cavalli, Ana.
‡9
2
|
996
|
|
|
‡2
BLBNB|000507056
|
996
|
|
|
‡2
LC|no2012009159
|
996
|
|
|
‡2
NTA|323261906
|
996
|
|
|
‡2
NSK|000679535
|
996
|
|
|
‡2
DNB|1290332835
|
996
|
|
|
‡2
WKP|Q60086457
|
996
|
|
|
‡2
BLBNB|001489172
|
996
|
|
|
‡2
CAOONL|ncf11695328
|
996
|
|
|
‡2
ISNI|0000000391142153
|
996
|
|
|
‡2
ISNI|0000000067996712
|
996
|
|
|
‡2
DBC|87097991980819
|
996
|
|
|
‡2
PTBNP|1666239
|
996
|
|
|
‡2
ISNI|0000000357844979
|
996
|
|
|
‡2
PTBNP|199220
|
997
|
|
|
‡a
1974 0 lived 0131 0
‡9
1
|
998
|
|
|
‡a
de Araujo Rodrigues Vieira, Elisangela
‡2
ISNI|0000000357844979
‡3
suggested
‡3
single date
‡3
joint author: (1.00, 'cavalli ana', 'cavalli ana')
|
999
|
|
|
‡2
SUDOCBIB|259571946
|
999
|
|
|
‡2
SUDOCBIB|124051936
|