Rupak Majumdar · 7 obras en el catálogoObrasRuntime VerificationComputer Aided VerificationTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsHHybrid Systems : Computation and ControlHybrid Systems : Computation and ControlMModel Checking SoftwareModel Checking SoftwareNNetworked SystemsNetworked SystemsPPOPL '16POPL '16
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
