Architecture-Guided Test Resource Allocation via Logic. | 0 | 0.34 | 2021 |
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. | 0 | 0.34 | 2021 |
Formal Distributed Protocol Development for Reservation of Railway Sections. | 0 | 0.34 | 2020 |