LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Modèles temporisés

Type : Book Section

Year : 2006

Secondary Title : Méthodes Formelles pour les Systèmes Répartis et Coopératifs

Publisher : Hermes/Lavoisier

Pages : 51-81

Date : "sep"

ISBN : 2-7462-1447-4

Authors : Bérard, Béatrice

Editors : Haddad, Serge Kordon, Fabrice Petrucci, Laure

 Mentions légales
Site map |