Outils pour l'analyse des modèles hybrides

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	French
Title of host publication	Approches formelles des systèmes embarqués communicants
Editors	Claude Jard Olivier H. Roux
Publisher	Hermès
Pages	-
Publication status	Published - 1 Oct 2008

Name	Traité IC2, série Informatique et systèmes d'information
Publisher	Hermès

Access to Document

@inbook{c46b1d8fb11146e4ab97396ec20ef9e5,

title = "Outils pour l'analyse des mod{\`e}les hybrides",

author = "Thao Dang and Goran Frehse and Antoine Girard and \{Le Guernic\}, Colas",

note = "Chapitre 8",

year = "2008",

month = oct,

day = "1",

language = "Fran{\c c}ais",

series = "Trait{\'e} IC2, s{\'e}rie Informatique et syst{\`e}mes d'information",

publisher = "Herm{\`e}s",

pages = "--",

editor = "\{Olivier H. Roux\}, \{Claude Jard\}",

booktitle = "Approches formelles des syst{\`e}mes embarqu{\'e}s communicants",

}

TY - CHAP

T1 - Outils pour l'analyse des modèles hybrides

AU - Dang, Thao

AU - Frehse, Goran

AU - Girard, Antoine

AU - Le Guernic, Colas

N1 - Chapitre 8

PY - 2008/10/1

Y1 - 2008/10/1

M3 - Chapitre

T3 - Traité IC2, série Informatique et systèmes d'information

SP - -

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

A2 - Olivier H. Roux, Claude Jard

PB - Hermès

ER -