|
Leader
|
|
|
00000cz a2200037n 45 0 |
|
001
|
|
|
SUDOC|192423916
(VIAF cluster)
(Authority/Source Record)
|
|
005
|
|
|
202410211056.4 |
|
008
|
|
|
160408 nfazznn||| |n aaa |d |
|
003
|
|
|
SUDOC |
|
035
|
|
|
‡a
(SUDOC)192423916
|
|
035
|
|
|
‡a
http://viaf.org/viaf/180146284493915332326
|
|
035
|
|
|
‡a
55978145900
|
|
035
|
|
|
‡a
0000-0003-1132-3430
|
|
046
|
0 |
|
‡f
19870408
|
|
072
|
|
7 |
‡2
ESR
|
|
100
|
1 |
|
‡a
Chaves Café, Daniel,
‡d
1987-....
|
|
670
|
|
|
‡a
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. / Daniel Chaves Café; sous la direction de Frédéric Boulanger. Thèse de doctorat: Informatique (STIC): Supélec: 2015
|
|
678
|
|
|
‡a
Auteur d'une thèse en Informatique (STIC) à Supélec en 2015
|
|
910
|
|
|
‡a
multilevelmodelingforverificationandsynthesisofcomplexsystemsinamultiphysicscontext
‡A
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context. /
‡l
eng
‡9
1
|
|
910
|
|
|
‡a
modelisationmultiparadigmepourlasyntheseetlavalidationdesystemescomplexesenenvironnementmultiphysique
‡A
Modélisation Multi-Paradigme pour la Synthèse et la Validation de Systèmes Complexes en Environnement Multi-Physique..
‡l
eng
‡9
1
|
|
919
|
|
|
‡a
multilevelmodelingforverificationandsynthesisofcomplexsystemsinamultiphysicscontext
‡A
Multi-level modeling for verification and synthesis of complex systems in a multi-physics context.
‡9
1
|
|
922
|
|
|
‡a
fr
‡b
fr
‡9
1
|
|
930
|
|
|
‡a
daniel chaves cafe
‡c
Daniel Chaves Café; sous la direction de Frédéric Boulanger.
‡9
1
|
|
940
|
|
|
‡a
eng
‡9
2
|
|
943
|
|
|
‡a
201x
‡9
1
|
|
944
|
|
|
‡a
mm
‡9
1
|
|
950
|
|
|
‡a
valderrama carlos
‡A
Valderrama, Carlos
‡d
(19..-....;
‡c
auteur en électronique).
‡9
1
|
|
950
|
|
|
‡a
ait ameur yamine
‡A
Aït-Ameur, Yamine
‡d
(1966-....;
‡c
enseignant-chercheur en informatique).
‡9
1
|
|
950
|
|
|
‡a
sabouret nicolas
‡A
Sabouret, Nicolas
‡d
(1976-....;
‡c
chercheur en informatique).
‡9
1
|
|
950
|
|
|
‡a
boulanger frederic
‡A
Boulanger, Frédéric
‡d
(19..-....;
‡c
directeur de thèses en informatique).
‡9
1
|
|
950
|
|
|
‡a
santos filipe vinci dos
‡A
Santos, Filipe Vinci dos
‡d
(1964-....;
‡c
auteur en microélectronique).
‡9
1
|
|
950
|
|
|
‡a
pecheux francois
‡A
Pêcheux, François
‡d
(19..-....).
‡9
1
|
|
996
|
|
|
‡2
PTBNP|1643872
|
|
996
|
|
|
‡2
ISNI|0000000360827109
|
|
996
|
|
|
‡2
WKP|Q89166406
|
|
996
|
|
|
‡2
LC|n 2021250930
|
|
996
|
|
|
‡2
WKP|Q89023844
|
|
996
|
|
|
‡2
ISNI|0000000068891744
|
|
996
|
|
|
‡2
WKP|Q104562539
|
|
996
|
|
|
‡2
PLWABN|9812749393505606
|
|
996
|
|
|
‡2
PTBNP|1240366
|
|
996
|
|
|
‡2
BLBNB|000278148
|
|
996
|
|
|
‡2
LC|n 91044298
|
|
996
|
|
|
‡2
BLBNB|000394491
|
|
996
|
|
|
‡2
BLBNB|001514029
|
|
996
|
|
|
‡2
ISNI|0000000029474462
|
|
996
|
|
|
‡2
LC|no2011184707
|
|
996
|
|
|
‡2
DNB|1143240367
|
|
996
|
|
|
‡2
DNB|1145179681
|
|
997
|
|
|
‡a
1987 0 lived 0408 0
‡9
1
|
|
999
|
|
|
‡2
SUDOCBIB|194485846
|
