서브메뉴
검색
Formal Verification of Statecharts Using Finite-State Model Checkers
Formal Verification of Statecharts Using Finite-State Model Checkers
상세정보
- 자료유형
- 기사
- ISSN
- 10636536
- 저자명
- Q-Zhao.
- 서명/저자
- Formal Verification of Statecharts Using Finite-State Model Checkers / Q-Zhao. , B. H. Krogh.
- 발행사항
- New York, NY : Institute of Electrical and Electronics Engineers, 2006.
- 형태사항
- pp. 943-950
- 주기사항
- Indudes Bibiography Reference
- 기타저자
- B. H. Krogh.
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60089586
MARC
008070202s2006 ai eng■022 ▼a10636536
■1001 ▼aQ-Zhao.
■245 ▼aFormal Verification of Statecharts Using Finite-State Model Checkers▼dQ-Zhao.▼eB. H. Krogh.
■260 ▼aNew York, NY▼bInstitute of Electrical and Electronics Engineers▼c2006.
■300 ▼app. 943-950
■500 ▼aIndudes Bibiography Reference
■653 ▼aFORMAL▼aVERIFICATION▼aSTATECHARTS▼aUSING▼aFINITESTATE▼aMODEL▼aCHECKERS
■7001 ▼aB. H. Krogh.
■773 ▼tIEEE transactions on control systems technology▼gVol. 14 No. 5 (2006. 9)▼d2006, 09
■SIS ▼aS036566▼b60077650▼h8▼s2
