PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Proceedings of the ACM on software engineering.Journal
인용 0
원문 보기경북대학교 컴퓨터학부
학생 데이터를 수집 중입니다. 대학 연구실 페이지 연동이 완료되면 자동으로 표시됩니다.
수집된 공개 데이터 기반으로 제공됩니다
논문 데이터가 수집되면 연구 키워드가 자동 추출됩니다
2016년 대비 2017년에 연구비가 151.5% 증가했습니다 (306,171,000원 → 770,000,000원).
2012년 대비 2016년에 연구비가 83.2% 증가했습니다 (167,100,000원 → 306,171,000원).
2011년 대비 2012년에 연구비가 85.9% 감소했습니다 (1,187,000,000원 → 167,100,000원).
2009년 대비 2011년에 연구비가 782.3% 증가했습니다 (134,540,000원 → 1,187,000,000원).
학생 데이터가 수집되면 인력 변화 추이를 분석해 드립니다.
AI 분석 데이터가 준비되면 연구 방향 변화를 요약해 드립니다