Browse
Author
Showing results 1 to 3 of 3
Issue Date | Title / Author(s) / Citation | File | Altmetrics |
---|---|---|---|
2016-06 | Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, pp. 1-7 | view file | |
2017-12 | 2017 IEEE Real-Time Systems Symposium, pp.68-79 | DOI | |
2017-12 | 2017 3rd IEEE International Conference on Computer and Communications (ICCC), pp.2598-2602 | DOI |
1