서브메뉴
검색
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
Detailed Information
- Material Type
- 기사
- ISSN
- 09168508
- Title/Author
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification / Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
- Material Info
- pp. 1451
- Added Entry-Personal Name
- Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
- Host Item Entry
- IEICE Transactions on Fundamentals of Electronics, Communications and ComputerSciences : v.E95-A n.9 2012, 09
- 모체레코드
- 모체정보확인
- Control Number
- gtec:382141
MARC
008171211s2012 aa eng■022 ▼a09168508
■245 ▼aOn Optimization of Minimized Assumption Generation Method for Component-Based Software Verification▼dNgoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
■300 ▼app. 1451
■7001 ▼aNgoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, and Takuya KATAYAMA
■773 ▼tIEICE Transactions on Fundamentals of Electronics, Communications and ComputerSciences▼gv.E95-A n.9▼d2012, 09
■SIS ▼aKS026312▼b63145▼h1▼sG
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Book Loan Request Service
- My Folder
