Search

You searched for: Auteur Pretschner, Alexander Remove constraint Auteur: Pretschner, Alexander
1 - 2 of 2
Number of results to display per page

Search Results

1. Security and Trust Management
thumbnail
Full text!
Author:
Cuellar, Jorge; Barthe, Gilles; Kanade, Takeo; López, Javier; Pretschner, Alexander
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. Model-Based Testing of Reactive Systems
thumbnail
Full text!
Author:
Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book