Multi-agent system vulnerability detector for a secured E-learning environment
F El Hajj, A El Hajj, RA Chehade - 2016 Sixth International …, 2016 - ieeexplore.ieee.org
Information and communication systems have several security vulnerabilities. In addition,
conventional security software requires tuning effort and may not be able to detect many …
conventional security software requires tuning effort and may not be able to detect many …
Effectiveness of E-service Delivery at the Local Level: A Study on Union Digital Centers (UDCs) in Bangladesh
F KHATUN - 2022 - reposit.library.du.ac.bd
As e-governance is an important issue to ensure development in the administration of
developing countries, Bangladesh has to face various challenges to get an advantage from …
developing countries, Bangladesh has to face various challenges to get an advantage from …
[PDF][PDF] Formal Verification of Safety Properties for Multi-Agents System in Dynamic Environment: Application to a Platoon System
This article proposes a formal approach for modeling and automatic verification of safety
properties for Transportation System (TS). Our proposed process based on six steps from …
properties for Transportation System (TS). Our proposed process based on six steps from …