Rajeev Alur · 5 obras en el catálogoObrasComputer aided verificationHybrid systemsEmbedded SoftwarePPrinciples of Cyber-Physical SystemsPrinciples of Cyber-Physical SystemsHHybrid Systems : Computation and ControlHybrid Systems : Computation and Control