Browse by Author

Authors (A-Z) Brügger, Lukas

3 Results for Brügger, Lukas

Subscribe to RSS feed for this result set

1. A framework for modelling and testing of security policies

Brügger, Lukas Alexander (2012)


Doctoral and Habilitation Theses

2. An Approach to Modular and Testable Security Models of Real-world Health-care Applications

Brucker, Achim D., Brügger, Lukas, Kearney, Paul and Wolff, Burkhart (2011)


Conference Contributions

3. HOL-TestGen 1.5.0 user guide

Brucker, Achim D., Brügger, Lukas, Krieger, Matthias P. and Wolff, Burkhart (2010)


Reports