Tlms

tlms

Practical Design Verification

Improve design efficiency & reduce costs with this guide to formal & simulation-based functional verification. Presenting a theoretical & practical understanding of the key issues involved, it explains both formal techniques (model checking, equivalence checking) & simulation-based techniques (coverage metrics, test generation).

Concise Encyclopedia of System Safety

The first comprehensive reference work covering safety professional terminology A convenient desk reference designed to fill a serious gap in the system safety body of knowledge, the Concise Encyclopedia of System Safety: Definition of Terms and Concepts is the first book explicitly devoted to defining system safety terms and concepts and designed to help safety professionals quickly and easily locate the definitions and information which they need to stay abreast of research new and old. Definitions for safety-related terminology currently differ between individual books, guidelines, standards, and even laws. Establishing a single common and complete set of definitions for the first time, with examples for each, the book revolutionizes the way in which safety professionals are able to understand their field. The definitive resource devoted to defining all of the major terms and concepts used in system safety and reliability in a single volume, Concise Encyclopedia of System Safety is the go-to book for systems safety engineers, analysts, and managers as they encounter new terms, or need an exact, technical definition of commonly used terms.