Skip to Main content Skip to Navigation
Book sections

The ENACT approach

Nicolas Ferry 1 Hui Song 2 Erkuden Rios 3 Andreas Metzger 4 
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 SINTEF Digital, Microsystems and Nanotechnology [Oslo]
3 Tecnalia [Derio]
4 University of Duisbourg-Essen
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03281377
Contributor : Nicolas Ferry Connect in order to contact the contributor
Submitted on : Thursday, July 8, 2021 - 10:46:03 AM
Last modification on : Sunday, June 26, 2022 - 3:10:47 AM

Identifiers

Collections

CNRS | INRIA | I3S | INRIA2 | UNIV-COTEDAZUR

Citation

Nicolas Ferry, Hui Song, Erkuden Rios, Andreas Metzger. The ENACT approach. DevOps for Trustworthy Smart IoT Systems, Now Publishers, 2021, ⟨10.1561/9781680838251.ch2⟩. ⟨hal-03281377⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

28

 

Contact                    Legal Notice                    Personal Data