Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
A practical formal model for safety analysis in capability-based systems
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Loading…