C
catalog

Projects with this topic

View adt2amas project

PARTIES / tools / adt2amas

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

SAFER team catalog

2

Updated Oct 04, 2026

2 0 0 9

Updated Oct 04, 2026
View sogMBT project

PMC-SOG / sogMBT

Symbolic Observation Graph-Based Generation of Test Paths

SAFER team SOG catalog

0

Updated Jul 15, 2026

0 0 0 0

Updated Jul 15, 2026
View mc-sog project

PMC-SOG / mc-sog

SAFER team SOG catalog

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023