Towards a well-founded software component model for cyber-physical control systems

Jacques Malenfant 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Type de document :
Communication dans un congrès
Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. 〈http://www.ieee-irc.org〉
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01666652
Contributeur : Jacques Malenfant <>
Soumis le : lundi 18 décembre 2017 - 15:55:27
Dernière modification le : vendredi 31 août 2018 - 09:25:57

Identifiants

  • HAL Id : hal-01666652, version 1

Collections

Citation

Jacques Malenfant. Towards a well-founded software component model for cyber-physical control systems. Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. 〈http://www.ieee-irc.org〉. 〈hal-01666652〉

Partager

Métriques

Consultations de la notice

93