Robustness and Usability in Modern Design Flows - Fey, Görschwin.; Drechsler, Rolf.; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2008)
Keywords: Electronic circuits; Mathematical logic; Computers; Electronics; Microelectronics; Circuits and Systems; Mathematical Logic and Formal Languages; Theory of Computation; Electronics and Microelectronics, Instrumentation