SPARTA Demonstrators

A collection of videos presenting some of the work done under SPARTA

SPARTA HAII-T: Secure Orchestration - Modeling, Verification and Testing

Gabriele Costa