Approches formelles des systèmes embarqués communicants - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2008

Approches formelles des systèmes embarqués communicants

Olivier Henri Roux
Institut de Recherche en Communications et en Cybernétique de Nantes
Claude Jard
Distributed and Iterative Algorithms for the Management of Telecommunications Systems

Domaines

Autre [cs.OH]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00523945

Soumis le : mercredi 6 octobre 2010-16:08:38

Dernière modification le : vendredi 5 janvier 2024-03:23:32

Fichier non déposé

Dates et versions

hal-00523945 , version 1 (06-10-2010)

Identifiants

  • HAL Id : hal-00523945 , version 1

Citer

Olivier Henri Roux, Claude Jard (Dir.). Approches formelles des systèmes embarqués communicants. Hermes Lavoisier, pp.268, 2008. ⟨hal-00523945⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES EC-NANTES IRISA IRCCYN UNAM IRISA-D2 INRIA2 UR1-MATH-STIC LS2N UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
338 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More