Outils pour l'analyse des modèles hybrides

Thao Dang; Goran Frehse; Antoine Girard; Colas Le Guernic

Outils pour l'analyse des modèles hybrides

Thao Dang
, Goran Frehse
, Antoine Girard
, Colas Le Guernic

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

langue originale	Français
titre	Approches formelles des systèmes embarqués communicants
rédacteurs en chef	Claude Jard Olivier H. Roux
Editeur	Hermès
Pages	-
état	Publié - 1 oct. 2008

Série de publications

Nom	Traité IC2, série Informatique et systèmes d'information
Editeur	Hermès

Accès au document

https://hal.science/hal-00765809

Contient cette citation

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

}

Outils pour l'analyse des modèles hybrides. / Dang, Thao; Frehse, Goran; Girard, Antoine et al.
Approches formelles des systèmes embarqués communicants. Ed. / Claude Jard Olivier H. Roux. Hermès, 2008. p. - (Traité IC2, série Informatique et systèmes d'information).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

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 -