Software Reliability Methods

Fundamentals of Digital Logic and Microcontrollers: Edition 6

Principles of Cyber-Physical Systems

Compact Models and Measurement Techniques for High-Speed Interconnects

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Applying Math with Python: Over 70 practical recipes for solving real-world computational math problems, Edition 2

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Time for Verification: Essays in Memory of Amir Pnueli

Programmable Logic Controllers: Edition 6

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Digital Logic Design: Edition 2

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

A Practical Introduction to Computer Architecture

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings