bib.howest.be Zoekresultaten

U zocht naar: Auteur Majumdar, Rupak

1 - 6 van 6

1. Runtime Verification

Auteur:: Bartocci; Majumdar, Rupak
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Networked Systems

Auteur:: Chryssis Georgiou; Majumdar, Rupak
Uitgever:: Springer International Publishing 2021
Type:: e-book

3. Hybrid Systems: Computation and Control

Auteur:: Majumdar, Rupak; Kanade, Takeo; Tabuada, Paulo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

4. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

5. Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Auteur:: Raskin, Jean-François.; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Uitgever:: Cham Springer 2023
Type:: e-book

6. Model Checking Software

Auteur:: Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book