Formal Methods for Embedded Distributed Systems : How to Master the Complexity ? - Archive ouverte HAL
Ouvrages Année : 2004

Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?

Fabrice Kordon
Michel Lemoine
  • Fonction : Directeur de publication

Dates et versions

hal-01520405 , version 1 (10-05-2017)

Identifiants

Citer

Fabrice Kordon, Michel Lemoine (Dir.). Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?. Kluwer Academic Publishing, 2004, ⟨10.1007/b116264⟩. ⟨hal-01520405⟩
88 Consultations
0 Téléchargements

Altmetric

Partager

More