Sökt på: Böcker av Rajeev Alur
totalt 12 träffar
Hybrid Systems: Computation and Control
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual …
Embedded Software
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised …
Computer Aided Verification
Hybrid Systems III
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in …
Computer Aided Verification
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as …
Principles of Cyber-Physical Systems
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …
Principles of Cyber-Physical Systems
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system …
Hybrid Systems: Computation and Control
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual …
Contemporary Computing
Contemporary Computing
Welcome to the Second International Conference on Contemporary Computing, which was held in Noida (outskirts of New Delhi), India. Computing is an exciting and evolving area. This …
Computer Aided Verification
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of …
Embedded Software
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 …