Browsing by Author Pantelic, Vera
Showing results 2 to 7 of 7
< 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 |
| 2024 | Migrating to Ethernet-Based Centralized Automotive Architectures | Kapinski, Ryan |
| Apr-2011 | Probabilistic Supervisory Control of Probabilistic Discrete Event Systems | Pantelic, Vera |
| 2024 | A Semi-Automated Approach for Incremental Migration from Monolithic to Microservices Architecture | ZakerZavardehi, Hassan |
| 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 |
