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 : jeudi 11 janvier 2018 - 06:28:14

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

75