- Authors
- M. Zhang, S. Ali, T. Yue, R. Norgren and O. Okariz
- Status
- Published
- Publication type
- Technical Reports
- Year of publication
- 2016
- Journal
- –
- Publisher
- Simula Research Laboratory
- Notes
- This work is supported by U-Test project (Testing Cyber-Physical Systems under Uncertainty).
- Citation key
- 14071