Zoeken

U zocht naar: Auteur Schätz, Bernhard Filter Auteur: Schätz, Bernhard weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

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