Performance Evaluation and Model Checking Join Forces
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
Performance Evaluation and Model Checking Join Forces
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved