Author:
Rudd-Orthner Richard N. M.,Mihaylova Lyudmila
Publisher
Springer Science and Business Media LLC
Subject
Renewable Energy, Sustainability and the Environment,Artificial Intelligence,Computer Science Applications,Computer Networks and Communications
Reference30 articles.
1. Navarathna PJ, Malagi VP (2018) Artificial intelligence in smart city analysis. In: Smart systems and inventive technology (ICSSIT) 2018 international conference on, pp 44–47
2. Srivastava S, Bisht A, Narayan N (2017) Safety and security in smart cities using artificial intelligence—a review. In: IEEE conference publication. https://ieeexplore.ieee.org/abstract/document/7943136/citations#citations. Accessed 7 Dec 2019
3. Knight John (2002) Safety critical systems: challenges and directions. Proc Int Conf Softw Eng. https://doi.org/10.1145/581339.581406
4. Serban A (2019) Designing safety critical software systems to manage inherent uncertainty—IEEE conference publication. https://ieeexplore.ieee.org/abstract/document/8712362. Accessed 7 Dec 2019
5. Carpenter P (2019) Verification of requirements for safety-critical software. http://www.sigada.org/conf/sigada2001/private/SIGAda2001-CDROM/SIGAda1999-Proceedings/p23-carpenter.pdf. Accessed 7 Dec 2019
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献