{2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)}

Sébastien Gérard Fabrice Kordon 1 Bran Selic
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01287960
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 1:56:06 PM
Last modification on : Friday, June 7, 2019 - 4:10:13 PM

Identifiers

  • HAL Id : hal-01287960, version 1

Citation

Sébastien Gérard, Fabrice Kordon, Bran Selic. {2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC 2011)}. IEEE Computer Society, 2011. ⟨hal-01287960⟩

Share

Metrics

Record views

42