Author:
Kiouvrekis Yiannis,Panagiotakopoulos Theodor,Ouranos Iakovos,Filippopoulos Ioannis
Publisher
Springer International Publishing
Reference61 articles.
1. Abrial, J. R. (1996b). The B book: Assigning programs to meanings.
2. Abrial, J.-R. (1996a). The B-book: Assigning programs to meanings. Cambridge University Press.
3. Aloqaily, M., Otoum, S., Al Ridhawi, I., & Jararweh, Y. (2019). An intrusion detection system for connected vehicles in smart cities. Ad Hoc Networks, 90, 101,842, ISSN 1570-8705. https://doi.org/10.1016/j.adhoc.2019.02.001
4. Anonymous (n.d.-a). VerifAI: A toolkit for design and verification of AI-based systems. Retrieved from http://github.com/BerkeleyLearnVerify/VerifAI.
5. Anonymous (n.d.-b). Scenic environment modeling and scenario description language. Retrieved from http://github.com/BerkeleyLearnVerify/Scenic.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献