Correction to: Verifying System-Wide Properties of Industrial Component-Based Software - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Correction to: Verifying System-Wide Properties of Industrial Component-Based Software

Résumé

In Definition 2 of the originally published version, the first equation and the second paragraph were missing and the block of 5 equations was not aligned correctly. This has been corrected.
Fichier principal
Vignette du fichier
490001_1_En_18_Chapter.pdf (100.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03769134 , version 1 (05-09-2022)

Licence

Identifiants

Citer

Thomas Neele, Marijn Rol, Jan Friso Groote. Correction to: Verifying System-Wide Properties of Industrial Component-Based Software. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.C1-C1, ⟨10.1007/978-3-030-31517-7_18⟩. ⟨hal-03769134⟩
11 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More