Approches formelles des systèmes embarqués communicants

Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Béatrice BÉRARD, Antoine GIRARD, Serge HADDAD, Franck CASSEZ, Claude JARD, Thao DANG, Colas LE GERNIC, Susanna DONATELLI, Didier LIME, Jean-Pierre ELLOY, Morgan MAGNIN, Goran FREHSE, Nicolas MARKEY, Paul PETTERSSON, Stavros TRIPAKIS, Wang YiOlivier H. ROUX

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogFransk
ForlagHermés Science Publications
Antal sider268
ISBN (Trykt)978-2-7462-1942-7
StatusUdgivet - 2008

Citer dette

David, A., Behrmann, G., Larsen, K. G., Rasmussen, J. I., BÉRARD, B., GIRARD, A., ... H. ROUX, O. (2008). Approches formelles des systèmes embarqués communicants. Hermés Science Publications.
David, Alexandre ; Behrmann, Gerd ; Larsen, Kim Guldstrand ; Rasmussen, Jacob Illum ; BÉRARD, Béatrice ; GIRARD, Antoine ; HADDAD, Serge ; CASSEZ, Franck ; JARD, Claude ; DANG, Thao ; LE GERNIC, Colas ; DONATELLI, Susanna ; LIME, Didier ; ELLOY, Jean-Pierre ; MAGNIN, Morgan ; FREHSE, Goran ; MARKEY, Nicolas ; PETTERSSON, Paul ; TRIPAKIS, Stavros ; Yi, Wang ; H. ROUX, Olivier. / Approches formelles des systèmes embarqués communicants. Hermés Science Publications, 2008. 268 s.
@book{11dc3c80db2211dda016000ea68e967b,
title = "Approches formelles des syst{\`e}mes embarqu{\'e}s communicants",
author = "Alexandre David and Gerd Behrmann and Larsen, {Kim Guldstrand} and Rasmussen, {Jacob Illum} and B{\'e}atrice B{\'E}RARD and Antoine GIRARD and Serge HADDAD and Franck CASSEZ and Claude JARD and Thao DANG and {LE GERNIC}, Colas and Susanna DONATELLI and Didier LIME and Jean-Pierre ELLOY and Morgan MAGNIN and Goran FREHSE and Nicolas MARKEY and Paul PETTERSSON and Stavros TRIPAKIS and Wang Yi and {H. ROUX}, Olivier",
year = "2008",
language = "Fransk",
isbn = "978-2-7462-1942-7",
publisher = "Herm{\'e}s Science Publications",

}

David, A, Behrmann, G, Larsen, KG, Rasmussen, JI, BÉRARD, B, GIRARD, A, HADDAD, S, CASSEZ, F, JARD, C, DANG, T, LE GERNIC, C, DONATELLI, S, LIME, D, ELLOY, J-P, MAGNIN, M, FREHSE, G, MARKEY, N, PETTERSSON, P, TRIPAKIS, S, Yi, W & H. ROUX, O 2008, Approches formelles des systèmes embarqués communicants. Hermés Science Publications.

Approches formelles des systèmes embarqués communicants. / David, Alexandre; Behrmann, Gerd; Larsen, Kim Guldstrand; Rasmussen, Jacob Illum; BÉRARD, Béatrice; GIRARD, Antoine; HADDAD, Serge; CASSEZ, Franck; JARD, Claude; DANG, Thao; LE GERNIC, Colas; DONATELLI, Susanna; LIME, Didier; ELLOY, Jean-Pierre; MAGNIN, Morgan; FREHSE, Goran; MARKEY, Nicolas; PETTERSSON, Paul; TRIPAKIS, Stavros; Yi, Wang; H. ROUX, Olivier.

Hermés Science Publications, 2008. 268 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Approches formelles des systèmes embarqués communicants

AU - David, Alexandre

AU - Behrmann, Gerd

AU - Larsen, Kim Guldstrand

AU - Rasmussen, Jacob Illum

AU - BÉRARD, Béatrice

AU - GIRARD, Antoine

AU - HADDAD, Serge

AU - CASSEZ, Franck

AU - JARD, Claude

AU - DANG, Thao

AU - LE GERNIC, Colas

AU - DONATELLI, Susanna

AU - LIME, Didier

AU - ELLOY, Jean-Pierre

AU - MAGNIN, Morgan

AU - FREHSE, Goran

AU - MARKEY, Nicolas

AU - PETTERSSON, Paul

AU - TRIPAKIS, Stavros

AU - Yi, Wang

AU - H. ROUX, Olivier

PY - 2008

Y1 - 2008

M3 - Bog

SN - 978-2-7462-1942-7

BT - Approches formelles des systèmes embarqués communicants

PB - Hermés Science Publications

ER -

David A, Behrmann G, Larsen KG, Rasmussen JI, BÉRARD B, GIRARD A et al. Approches formelles des systèmes embarqués communicants. Hermés Science Publications, 2008. 268 s.