Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

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

Thomas Neele , Marijn Rol , Jan Friso Groote
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.C1-C1, ⟨10.1007/978-3-030-31517-7_18⟩
Conference papers hal-03769134v1
Image document

Verifying System-Wide Properties of Industrial Component-Based Software

Thomas Neele , Marijn Rol , Jan Friso Groote
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.158-175, ⟨10.1007/978-3-030-31517-7_11⟩
Conference papers hal-03769112v1