Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

Autor*innen

• Wolfgang Kunz
• Dominik Stoffel

Parameter

• 248 Seiten
• 9 Lesestunden

• Elektrotechnik

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Paperback