Rupak Majumdar

ספרים שבהם Rupak Majumdar מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Runtime VerificationEzio Bartocci

Runtime Verification

Ezio Bartocci · 2015

Networked SystemsChryssis Georgiou

Networked Systems

Chryssis Georgiou · 2021

Tools and Algorithms for the Construction and Analysis of SystemsJavier Esparza

Tools and Algorithms for the Construction and Analysis of Systems

Javier Esparza · 2010

Model Checking SoftwareKlaus Havelund

Model Checking Software

Klaus Havelund · 2008

POPL '16Rastislav Bodik

POPL '16

Rastislav Bodik · 2016