bib.howest.be Search Results

You searched for: Auteur Graf, Susanne

1 - 7 of 7

1. Models, Mindsets, Meta: The What, the How, and the Why Not?

Author:: Margaria; Graf, Susanne; Larsen, Kim G.
Publisher:: Springer International Publishing 2019
Format:: e-book

2. Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Author:: Graf, Susanne.; Pettersson, Paul; Steffen, Bernhard
Publisher:: Cham Springer 2024
Format:: e-book

3. Automated Technology for Verification and Analysis

Author:: Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

4. Formal Methods for Components and Objects

Author:: Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

5. Formal Methods for Components and Objects

Author:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Publisher:: Springer Berlin Heidelberg 2006
Format:: e-book

6. Formal Methods for Components and Objects

Author:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

7. Formal Methods for Components and Objects

Author:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book