Skip to Main content Skip to Navigation
Book sections

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

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-01615143
Contributor : Jean-Pierre Talpin <>
Submitted on : Thursday, October 12, 2017 - 8:33:06 AM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

276