Behavioral and System-Level Power Optimization Tool using Formal Methods From (1 Deals)99.00 USD View product
Formal Methods for Open Object-Based Distributed Systems IV: Advanced Techniques and Applications From (1 Deals)209.00 USD View product
Real-time Systems Modeling and Verification Software: Formal Methods Toolkit From (1 Deals)220.00 USD View product
Formal Methods for Open Object-Based Distributed Systems Volume V - Vitalsource Edition From (1 Deals)99.00 USD View product