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 Yi; Olivier H. ROUX

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

Research output: Book/Report › Book › Research

Original language	French

Publisher	Hermés Science Publications
Number of pages	268
ISBN (Print)	978-2-7462-1942-7
Publication status	Published - 2008

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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",

}

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 -