Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Type de document :
Chapitre d'ouvrage
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, 〈10.1007/978-981-10-4436-6_3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01615143
Contributeur : Jean-Pierre Talpin <>
Soumis le : jeudi 12 octobre 2017 - 08:33:06
Dernière modification le : mercredi 16 mai 2018 - 11:24:13

Lien texte intégral

Identifiants

Citation

Loic Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, et al.. Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, 〈10.1007/978-981-10-4436-6_3〉. 〈hal-01615143〉

Partager

Métriques

Consultations de la notice

146