서브메뉴
검색
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
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Baier, C.
- 서명/저자
- 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. , Haverkort, B.R. , Hermanns, H. , Katoen, J.-P.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2010.
- 형태사항
- pp. p.76-87
- 주기사항
- included reference
- 기타저자
- Haverkort, B.R.
- 기타저자
- Hermanns, H.
- 기타저자
- Katoen, J.-P.
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250509
MARC
008200114s2010 ai aa eng■022 ▼a00010782
■1001 ▼aBaier, C.
■24510▼aPerformance Evaluation and Model Checking Join Forces: A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques ▼dBaier, C.▼eHaverkort, B.R.▼eHermanns, H.▼eKatoen, J.-P.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2010.
■300 ▼app. p.76-87
■500 ▼aincluded reference
■7001 ▼aHaverkort, B.R.
■7001 ▼aHermanns, H.
■7001 ▼aKatoen, J.-P.
■773 ▼tCommunications of the ACM.▼gVol. 53 No. 9 (2010. 9)▼d2010, 09
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS056477▼b60077699▼h8▼s2▼fP
