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

Author/Creator Zwirchmayr, Jakob

1. Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles. (June 2020)

Authors:: Soteropoulos, Aggelos; Mitteregger, Mathias; Berger, Martin; Zwirchmayr, Jakob
Journal:: Transportation research
Issue:: Volume 136(2020)
Page Start:: 64
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. (May 2017)

Authors:: Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob
Journal:: Journal of symbolic computation
Issue:: Volume 80:Part 1(2017)
Page Start:: 101
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗