서브메뉴
검색
Formal Verification of Statecharts Using Finite-State Model Checkers
Formal Verification of Statecharts Using Finite-State Model Checkers
Detailed Information
- Material Type
- 기사
- ISSN
- 10636536
- Author
- Q-Zhao.
- Title/Author
- Formal Verification of Statecharts Using Finite-State Model Checkers / Q-Zhao. ; B. H. Krogh.
- Publish Info
- New York, NY : Institute of Electrical and Electronics Engineers, 2006.
- Material Info
- pp. 943-950
- General Note
- Indudes Bibiography Reference
- Index Term-Uncontrolled
- FORMAL VERIFICATION STATECHARTS USING FINITESTATE MODEL CHECKERS
- Added Entry-Personal Name
- 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
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books


