System to Software Integrity: A Case Study - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

System to Software Integrity: A Case Study

Matteo Bordin
  • Fonction : Auteur
Cyrille Comar
  • Fonction : Auteur
Ed Falis
  • Fonction : Auteur
Franco Gasperoni
  • Fonction : Auteur
Yannick Moy
  • Fonction : Auteur
  • PersonId : 843741
Elie Richa
  • Fonction : Auteur
Jérôme Hugues
  • Fonction : Auteur
  • PersonId : 920348

Résumé

It is widely acknowledged that the main source of cost for developing high-integrity software systems is their verification. A significant portion of this verification cost is spent assessing that software complies with its requirements.

Mots clés

Fichier principal
Vignette du fichier
ERTS_2014_submission_96.pdf (744.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02272265 , version 1 (27-08-2019)

Identifiants

  • HAL Id : hal-02272265 , version 1

Citer

Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, et al.. System to Software Integrity: A Case Study. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272265⟩

Collections

ERTS2014
37 Consultations
46 Téléchargements

Partager

More