FIT-Conference Hub
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
테마
한국어
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
알림
모두 읽음으로 표시
새로운 알림이 없습니다.
모두 보기
키워드
시작:
종료:
유형
장소
검색
초기화
상세 검색 옵션 숨기기
?
제출일:
순위:
모든 순위
A*
A
B
C
Unranked
Other
출처:
모든 출처
출판사:
주제:
AI for formal methods
×
연구 분야:
컨퍼런스 결과 (1)
정렬 기준:
제출일
Conference Date
순위
유형
Default
Relevant
Descending
Ascending
페이지당 이벤트 수:
4
8
12
20
50
100
International Symposium on Theoretical Aspects of Software Engineering (TASE)
Rank: National: China
Offline
Shanghai, China
Jul 4, 2026
Algebraic and co-algebraic specifications
Abstract interpretation
Component-based software engineering
+7 더 보기
