Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

Autori

• Wolfgang Kunz
• Dominik Stoffel

Parametri

Pagine

248pagine

Tempo di lettura

9ore

• Ingegneria elettrica

Maggiori informazioni sul libro

Exploring the intricacies of Boolean networks, this book delves into the mathematical foundations and reasoning techniques that govern their behavior. It presents a comprehensive framework for understanding how these networks function, emphasizing their applications in various fields such as computer science, biology, and engineering. The text offers both theoretical insights and practical methodologies, making it a valuable resource for researchers and practitioners interested in the dynamics and control of complex systems modeled by Boolean networks.

Per saperne di più

Lingua: Inglese

Pubblicato: 2010

(In brossura)