Author: "Kiekbusch, Lisa" / Database: Unpaywall - 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 '"Kiekbusch, Lisa"' showing total 5 results

Start Over Author "Kiekbusch, Lisa" Database Unpaywall

5 results on '"Kiekbusch, Lisa"'

1. Formal Verification of Behaviour Networks Including Hardware Failures

Author: Kiekbusch, Lisa, primary, Armbrust, Christopher, additional, and Berns, Karsten, additional
Published: 2015
Full Text: View/download PDF

2. Quantitative Aspects of Behaviour Network Verification

Author: Armbrust, Christopher, primary, Ropertz, Thorsten, additional, Kiekbusch, Lisa, additional, and Berns, Karsten, additional
Published: 2013
Full Text: View/download PDF

3. Verification of Behaviour Networks Using Finite-State Automata

Author: Armbrust, Christopher, primary, Kiekbusch, Lisa, additional, Ropertz, Thorsten, additional, and Berns, Karsten, additional
Published: 2012
Full Text: View/download PDF

4. Formal verification of behaviour networks including sensor failures

Author: Kiekbusch, Lisa, primary, Armbrust, Christopher, additional, and Berns, Karsten, additional
Published: 2015
Full Text: View/download PDF

5. Tool-assisted verification of behaviour networks

Author: Armbrust, Christopher, primary, Kiekbusch, Lisa, additional, Ropertz, Thorsten, additional, and Berns, Karsten, additional
Published: 2013
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results