Author:
Subburaj Vinitha Hannah,Urban Joseph Edward
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Usage of Anytime Algorithm in Fault detection in Cloud Systems;2023 IEEE 21st World Symposium on Applied Machine Intelligence and Informatics (SAMI);2023-01-19
2. BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems;Innovations in Smart Cities and Applications;2018
3. Using BECAMEDA method to specify and verify a smart home system;Proceedings of the 2017 International Conference on Smart Digital Environment;2017-07-21