Modal event-clock specifications for timed component-based design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Science of Computer Programming Year : 2012

Dates and versions

hal-00752449 , version 1 (15-11-2012)

Identifiers

Cite

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩. ⟨hal-00752449⟩
153 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More