bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,641 - 1,650 van 3,123 | Volgende »

1641. Model-Based Engineering of Embedded Systems

Auteur:: Pohl, Klaus; Hönninger, Harald; Achatz, Reinhold; Broy, Manfred
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1642. Model-Based Methodologies for Pervasive and Embedded Software

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Botterweck, Goetz; Botterweck, Goetz; Maciel, Rita Suzana; Rubin, Julia
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

1643. Model-Based Software Performance Analysis

Auteur:: Cortellessa, Vittorio; Di Marco, Antinisca; Inverardi, Paola
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1644. Model-Based Testing of Reactive Systems

Auteur:: Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1645. Model Checking Software

Auteur:: Godefroid, Patrice; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1646. Model Checking Software

Auteur:: Valmari, Antti; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1647. Model Checking Software

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1648. Model Checking Software

Auteur:: Groce, Alex; Kanade, Takeo; Musuvathi, Madanlal; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1649. Model Checking Software

Auteur:: Pol, Jaco; Kanade, Takeo; Weber, Michael; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1650. Model Checking Software

Auteur:: Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book