본문

  1. Home
1 Results:AA:HERMANNS H PP:ASSOCIATION FOR COMPUTING MACHINERY 0.171 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
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: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques
Baier, C., | Association for Computing Machinery | 2010 ,
처음1마지막