Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard - Archive ouverte HAL Access content directly
Book Sections Year : 2017

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

(1) , (2) , (3) , (2) , (2) , (4) , (5)
1
2
3
4
5

Dates and versions

hal-01615143 , version 1 (12-10-2017)

Identifiers

Cite

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⟩
114 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More