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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
date19.pdf (1.61 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Jean-Pierre Talpin  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02193635

Submitted on : Wednesday, July 24, 2019-3:46:38 PM

Last modification on : Wednesday, November 30, 2022-11:22:07 AM

Download

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
89 View
152 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More