Funder
Haridus-ja Teadusministeerium
Publisher
Springer Science and Business Media LLC
Subject
Renewable Energy, Sustainability and the Environment,Artificial Intelligence,Computer Science Applications,Computer Networks and Communications
Reference19 articles.
1. Quigley M et al (2009) ROS: an open-source robot operating system. In: ICRA workshop on open source software, 2009(online). https://www.willowgarage.com/sites/default/files/icraoss09-ROS.pdf
2. Kumar S, Vealey T, Srivastava H (2016) Security in internet of things: challenges, solutions and future directions. 49th Hawaii international conference on system sciences (HICSS). Koloa, HI, pp 5772–5781
3. Deshmukh J, Horvat M, Jin X, Majumdar R, Prabhu V (2017) Testing cyber-physical systems through Bayesian optimization. ACM Trans Embed Comput Syst 16(5s):1–18. https://doi.org/10.1145/3126521 (article 170, Sep 2017)
4. Bartocci E et al (2018) Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci E, Falcone Y (eds) Lectures on runtime verification. Lecture notes in computer science, vol 10457. Springer, Cham
5. Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf 1(1–2):134–152. https://doi.org/10.1007/s100090050010
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献