Author:
Gallardo María-del-Mar,Lavado Leticia,Panizo Laura,Titolo Laura
Publisher
Springer Science and Business Media LLC
Subject
Renewable Energy, Sustainability and the Environment,Artificial Intelligence,Computer Science Applications,Computer Networks and Communications
Reference39 articles.
1. Adalid D, Gallardo MM, Titolo L (2014) Modeling hybrid systems in Hy-tccp. In: Proceedings of the 3rd international workshop on formal techniques for safety-critical systems (FTSCS 2014), pp 52–57
2. Alur R, Henzinger T, Lafferriere G, Pappas G (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971–984. doi: 10.1109/5.871304
3. Augusto JC (2009) Increasing reliability in the development of intelligent environments. In: Proceedings of the 5th international conference on intelligent environments (IE’09), IOS Press, pp 134–141
4. Augusto JC, Hornos MJ (2013) Software simulation and verification to increase the reliability of intelligent environments. Adv Eng Softw 58:18–34. doi: 10.1016/j.advengsoft.2012.12.004
5. Augusto JC, Callaghan V, Cook D, Kameas A, Satoh I (2013) Intelligent environments: a manifesto. Hum Centric Comput Inf Sci 3(1):12. doi: 10.1186/2192-1962-3-12
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Air Quality Investigation Pre-COVID-19;International Journal of Smart Sensor Technologies and Applications;2024-07-16
2. Analyzing AQI before Covid '19;Advances in Healthcare Information Systems and Administration;2024-05-17
3. Risk management for nuclear medical department using reinforcement learning algorithms;Journal of Reliable Intelligent Environments;2019-05-14
4. A survey on verification strategies for intelligent transportation systems;Journal of Reliable Intelligent Environments;2018-10-19
5. Application of Software Engineering techniques to improve the reliability of Intelligent Environments;Journal of Reliable Intelligent Environments;2017-07