Search

You searched for: Auteur Schätz, Bernhard Remove constraint Auteur: Schätz, Bernhard
1 - 3 of 3
Number of results to display per page

Search Results

1. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Author:
Salaün, Gwen; Kanade, Takeo; Schätz, Bernhard
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. Model-Driven Engineering Languages and Systems
thumbnail
Full text!
Author:
Moreira, Ana; Schätz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter; Gray, Jeff; Schätz, Bernhard; Vallecillo, Antonio
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Model-Based Engineering of Embedded Real-Time Systems
thumbnail
Full text!
Author:
Giese, Holger; Kanade, Takeo; Karsai, Gabor; Karsai, Gábor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard; Lee, Edward A.
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book