Author/Creator: Bloem, Roderick - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Bloem, Roderick

1. Adaptive testing for specification coverage and refinement in CPS models. (November 2022)

Authors:: Bartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Ničković, Dejan
Journal:: Nonlinear analysis
Issue:: Volume 46(2022)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Adaptive Testing for Specification Coverage in CPS Models. Issue 5 (2021)

Authors:: Bartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Ničković, Dejan
Journal:: IFAC-PapersOnLine
Issue:: Volume 54:Issue 5(2021)
Page Start:: 229
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗