Rupak Majumdar

Livres
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022
Networked Systems Networked Systems
Networked Systems
2021
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Runtime Verification Runtime Verification
Runtime Verification
2015
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2010