CITADEL Design Techniques to Specify, Verify, and Synthesize Policies for Run-Time Monitors
Project: CITADEL
Updated at: 01-05-2024
Show more
information
Project acronym
CITADEL