Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2017

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More