Browsing by Author Pantelic, Vera
Showing results 4 to 5 of 5
< previous
Publication Date | Title | Author(s) |
---|---|---|
Apr-2011 | Probabilistic Supervisory Control of Probabilistic Discrete Event Systems | Pantelic, Vera |
19-Sep-2023 | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities | Bandur, Victor; Lawford, Mark; Mosser, Sébastien; Paige, Richard; Pantelic, Vera; Wassyng, Alan |
Showing results 4 to 5 of 5
< previous