Combining fault injection and model checking to verify fault tolerance in multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
A methodology for automatic diagnosability analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
From qualitative to quantitative enforcement of security policy
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
A framework for automatic generation of security controller
Software Testing, Verification & Reliability
Hi-index | 0.00 |