Towards verified programming of embedded devices - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards verified programming of embedded devices

(1) , (1) , (2) , (2) , (2)
1
2
Fichier principal
Vignette du fichier
date19.pdf (1.61 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02193635 , version 1 (24-07-2019)

Identifiers

Cite

Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan, Deian Stefan, Rajesh Gupta. Towards verified programming of embedded devices. DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.1445-1450, ⟨10.23919/DATE.2019.8715067⟩. ⟨hal-02193635⟩
89 View
152 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More