On the Expressivity of RoCTL

John-Christopher Mccabe-Dansted 1 Tim French 1 Mark Reynolds 1 Sophie Pinchinat 2
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
TIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00555743
Contributeur : Sophie Pinchinat <>
Soumis le : vendredi 14 janvier 2011 - 12:58:39
Dernière modification le : mercredi 16 mai 2018 - 11:23:05

Identifiants

  • HAL Id : inria-00555743, version 1

Citation

John-Christopher Mccabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat. On the Expressivity of RoCTL. TIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44, 2009. 〈inria-00555743〉

Partager

Métriques

Consultations de la notice

201