서브메뉴
검색
An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools
An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Jeyaraj, A.
- 서명/저자
- An Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools / Jeyaraj, A. , Sauter, V. L.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2007.
- 형태사항
- pp. 62-68
- 주기사항
- included reference
- 기타저자
- Sauter, V. L.
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250548
MARC
008200114s2007 ai aa eng■022 ▼a00010782
■1001 ▼aJeyaraj, A.
■24510▼aAn Empirical Investigation of the Effectiveness of Systems Modeling and Verification Tools▼dJeyaraj, A.▼e Sauter, V. L.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2007.
■300 ▼app. 62-68
■500 ▼aincluded reference
■7001 ▼aSauter, V. L.
■773 ▼tCommunications of the ACM.▼gVol. 50 No. 6 (2007. 6)▼d2007, 06
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS040418▼b60077699▼h8▼s2▼fP
