Search

You searched for: Auteur Majumdar, Rupak Remove constraint Auteur: Majumdar, Rupak
1 - 6 of 6
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Bartocci; Majumdar, Rupak
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Networked Systems
thumbnail
Full text!
Author:
Chryssis Georgiou; Majumdar, Rupak
Publisher:
Springer International Publishing 2021
Format:
e-book
3. Hybrid Systems: Computation and Control
thumbnail
Full text!
Author:
Majumdar, Rupak; Kanade, Takeo; Tabuada, Paulo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Esparza, Javier; Kanade, Takeo; Majumdar, Rupak; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
5. Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
thumbnail
Full text!
Author:
Raskin, Jean-François.; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Publisher:
Cham Springer 2023
Format:
e-book
6. Model Checking Software
thumbnail
Full text!
Author:
Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book