상세 보기
Autonomous Robots
ISSN
P 0929-5593 E 1573-7527
출판사
Kluwer Academic Publishers
국가
NETHERLANDS
발행 상태
활성
데이터베이스 수록 정보
CiteScore 2011-2025 (15년)
JCR 1998-2025 (28년)
SCI 2010-2019 (10년)
SCIE 2010-2026 (17년)
Scopus 1994-2026 (33년)
SJR 1999-2020, 2022-2025 (26년)
전체 1건 중 1번부터 1번까지의 결과를 표시합니다.
2009
Article
Formal Modeling and Verification of Safety-Critical Software
- Yoo, Junbeom ;
- Jee, Eunkyoung ;
- Cha, Sungdeok
- 2009-05
- IEEE Software
- IEEE COMPUTER SOC