Wuhan Qingchuan University Wuhan Hubei China


국가: China

주요 연구 분야: Verification


주요 저자:

📄 기관 상세정보

출판수1
총 인용수52
평균 인용수52.00
저자 수1
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)


Software Fault Detection Based on Program Static Analysis and Fault Tree
저자: Yan Li
키워드: #software #tools #fault #catastrophic #consequences
파트: Verification | 연도: 2024