서브메뉴
검색
Optimization of Lyapunov Invariants in Verification of Software Systems
Optimization of Lyapunov Invariants in Verification of Software Systems
Detailed Information
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Optimization of Lyapunov Invariants in Verification of Software Systems / Roozbehani, M. ; Megretski, A. ; Feron, E.
- 형태사항
- pp. 696
- 기타저자
- Roozbehani, M.
- 기타저자
- Megretski, A.
- 기타저자
- Feron, E.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:341801
MARC
008170928s2013 a a kor■022 ▼a00189286
■245 ▼aOptimization of Lyapunov Invariants in Verification of Software Systems▼dRoozbehani, M.▼eMegretski, A.▼eFeron, E.
■300 ▼app. 696
■7001 ▼aRoozbehani, M.
■7001 ▼aMegretski, A.
■7001 ▼aFeron, E.
■773 ▼tIEEE transactions on Automatic Control▼gv.58 n.3▼d2013, 03
■SIS ▼aKS027112▼b63263▼h3▼sG
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Подробнее информация.
- Бронирование
- Book Loan Request Service
- моя папка
