Correction to: Verifying System-Wide Properties of Industrial Component-Based Software - IFIP - Lecture Notes in Computer Science Access content directly
Conference Papers Year : 2019

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

Thomas Neele
  • Function : Author
  • PersonId : 1161209
Eindhoven University of Technology [Eindhoven]
Marijn Rol
  • Function : Author
Eindhoven University of Technology [Eindhoven]
Jan Friso Groote
  • Function : Author
  • PersonId : 1055843
Eindhoven University of Technology [Eindhoven]

Abstract

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.

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
490001_1_En_18_Chapter.pdf (100.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-03769134

Submitted on : Monday, September 5, 2022-11:46:45 AM

Last modification on : Monday, September 5, 2022-11:52:09 AM

Download

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC2 IFIP-WG2-2 IFIP-LNCS-11761
11 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More