Hardware/Software Co-Design (Nato Science Series E: (closed))
Handbook on Architectures of Information Systems (International Handbooks on Information Systems)
VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)
Dependable Computing for Critical Applications: Volume 3 (Dependable Computing and Fault-Tolerant Systems)
Foundations of Dependable Computing Models and Frameworks for Dependable Systems
Software Engineering Education: The Educational Needs of the Software Community
Formal Techniques in Real-Time and Fault-Tolerant Systems
Computer Design Aids for VLSI Circuits (Nato Science Series E:)
Dependable Computing - EDCC-1 First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Architecting Dependable Systems
