Browsing by Author Pantelic, Vera
Showing results 2 to 5 of 5
< previous
Publication Date | Title | Author(s) |
---|---|---|
Dec-2005 | Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | Pantelic, Vera |
2022 | Integrating Software Issue Tracking and Traceability Models | Muralidharan, Naveen Ganesh |
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 2 to 5 of 5
< previous