Browsing by Author Bandur, Victor
Showing results 1 to 3 of 3
| Publication Date | Title | Author(s) |
|---|---|---|
| Sep-2008 | Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications | Bandur, Victor |
| 2024 | State Machine Learning in the Middle of Everything | Lesiuta, Eric |
| 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 |
