|
An Introduction to Assertional Reasoning for Concurrent Systems Автор: Shankar A.U. Год: 1993 |
Generating hardware assertion checkers: for hardware verification, emulation, post-fabrication debugging and on-line monitoring Автор: Marc Boule,Zeljko Zilic Год: 2008 |
Critical Corporate Communications: A Best Practice Blueprint Автор: Naomi Langford-Wood Год: 2003 |
Managing the Audit Function: A Corporate Audit Department Procedures Guide Автор: Michael P. Cangemi, Tommie W. Singleton Год: 2003 |
Auditing Автор: Donald H. Taylor Год: 1996 |