- Formal Methods for Embedded Distributed Systems: How to Master the ComplexityNotizbucher, Msed
Paperback - Autonomy Oriented Computing: From Problem Solving to Complex Systems ModelingTsui, Kwok Ching
Paperback - Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing TechniquesStoffel, Dominik
Paperback