Author/Creator: Katoen, Joost-Pieter - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Katoen, Joost-Pieter

1. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017])

Editors:: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend
Record Type:: Book
Extent:: 1 online resource (XII, 391 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. (2019)

Editors:: Guan, Nan; Katoen, Joost-Pieter; (Professor of Information Systems), Sun, Jun
Other Names:: SETTA (Symposium), 5th
Record Type:: Book
Extent:: 1 online resource (xiii, 139 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Safety analysis for vehicle guidance systems with dynamic fault trees. (June 2019)

Authors:: Ghadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
Journal:: Reliability engineering & system safety
Issue:: Volume 186(2019)
Page Start:: 37
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗