Non abbiamo ancora una biografia di Rupak Majumdar.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Runtime Verification
2015
Computer Aided Verification
2017
Tools and Algorithms for the Construction and Analysis of Systems
2010
POPL '16
2016
Networked Systems
2021
Model Checking Software
2008
Hybrid Systems : Computation and Control
2009
Otium
