Browsing by Author Bandur, Victor
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
Sep-2008 | Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications | Bandur, Victor |
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 1 to 2 of 2