Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Document type :
Reports
Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02292453
Contributor : Telecomparis Hal <>
Submitted on : Thursday, September 19, 2019 - 7:25:07 PM
Last modification on : Thursday, October 17, 2019 - 12:36:59 PM

Identifiers

  • HAL Id : hal-02292453, version 1

Collections

Citation

Loïc Besnard, Etienne Borde, Pierre Dissaux, Thierry Gautier, Paul Le Guernic, et al.. Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL). [Research Report] RT-0446, INRIA. 2014. ⟨hal-02292453⟩

Share

Metrics

Record views

4