Projects with this topic
Sort by:
-
ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
Updated -
-
-
Symbolic Observation Graph-Based Generation of Test Paths
Updated -
Web-based graphical user interface (GUI) of cosyverif
Updated -