rajeev alur

Principles of Cyber-Physical Systems

A cyber-physical system consists of a collection of computing devices communicating with one anot...

Computer Aided Verification

Embedded Software

This book constitutes the refereed proceedings of the Third International Conference on Embedded ...

Hybrid Systems: Computation and Control

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

Embedded Software

This book constitutes the refereed proceedings of the Third International Conference on Embedd...

Computer Aided Verification

This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

Hybrid Systems: Computation and Control

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

Hybrid Systems III

This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

Computer Aided Verification

ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...

Principles of Cyber-Physical Systems

A foundational text that offers a rigorous introduction to the principles of design, specificatio...