Author: "Bandur, Victor" / Journal: lecture notes in computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Bandur, Victor"' showing total 5 results

Start Over Author "Bandur, Victor" Journal lecture notes in computer science

5 results on '"Bandur, Victor"'

1. SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection

Author: Lesiuta, Eric, primary, Bandur, Victor, additional, and Lawford, Mark, additional
Published: 2023
Full Text: View/download PDF

2. Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities

Author: Bandur, Victor, primary, Lawford, Mark, additional, Mosser, Sébastien, additional, Paige, Richard F., additional, Pantelic, Vera, additional, and Wassyng, Alan, additional
Published: 2023
Full Text: View/download PDF

3. Assurance Cases for Timing Properties of Automotive TSN Networks

Author: Kapinski, Ryan, primary, Pantelic, Vera, additional, Bandur, Victor, additional, Wassyng, Alan, additional, and Lawford, Mark, additional
Published: 2023
Full Text: View/download PDF

4. Unifying Theories of Undefinedness in UTP

Author: Woodcock, Jim, primary and Bandur, Victor, additional
Published: 2013
Full Text: View/download PDF

5. Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

Author: Bandur, Victor, primary, Kahl, Wolfram, additional, and Wassyng, Alan, additional
Published: 2012
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results