io-port.net - Advanced Search

Advanced query form:

Year:

Type:

Journal

Book

Article

Please fill in your query. A complete syntax description you will find on the General Help page.

first | previous | 1 | next | last

Result 1 to 5 from 5 total

io-port 70720068 Brucker, Achim D.; Brügger, Lukas; Kearney, Paul; Wolff, Burkhart

An approach to modular and testable security models of real-world health-care applications (English)

SACMAT, 133-142 (2011).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70026009 Brucker, Achim D.; Brügger, Lukas; Kearney, Paul; Wolff, Burkhart

Verified firewall policy transformations for test case generation (English)

ICST, 345-354 (2010).

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05514503 Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart

Verifying test-hypotheses: An experiment in test and proof. (English)

Electron. Notes Theor. Comput. Sci. 220, No. 1, 15-27 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05290766 Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart

Model-based firewall conformance testing. (English)

Suzuki, Kenji (ed.) et al., Testing of software and communicating systems. 20th IFIP TC 6/WG 6.1 international conference, TestCom 2008 8th international workshop, FATES 2008 Tokyo, Japan, June 10‒13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68514-2/pbk). Lecture Notes in Computer Science 5047, 103-118 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70376566 Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart

Model-based firewall conformance testing (English)

TestCom/FATES, 103-118 (2008).

PDF XML AMS-TeX TEXT BIBTeX DOI

first | previous | 1 | next | last

Result 1 to 5 from 5 total