A Typed Compositional Language for Real-Time Systems - Archive ouverte HAL
Conference Papers Year : 2007

A Typed Compositional Language for Real-Time Systems

Domains

Computer Science [cs] Embedded Systems

Laboratoire CEDRIC  : Connect in order to contact the contributor

https://hal.science/hal-01125381

Submitted on : Friday, March 6, 2015-11:07:47 AM

Last modification on : Friday, July 19, 2024-11:38:04 AM

No file

Dates and versions

hal-01125381 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01125381 , version 1

Cite

Jean-Paul Etienne, Samia Bouzefrane. A Typed Compositional Language for Real-Time Systems. IEEE Int. Symposium on High Assurance Systems Engineering, Dallas, Jan 2007, X, France. pp.63-72. ⟨hal-01125381⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
45 View
0 Download

Share

More