FIT-Conference Hub
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
테마
한국어
컨퍼런스
저널
시각화
챗봇
새로운 소식
지원
게시
알림
모두 읽음으로 표시
새로운 알림이 없습니다.
모두 보기
키워드
시작:
종료:
유형
장소
검색
초기화
상세 검색 옵션 숨기기
?
제출일:
순위:
모든 순위
A*
A
B
C
Unranked
Other
출처:
모든 출처
출판사:
주제:
AI & Formal methods
×
연구 분야:
컨퍼런스 결과 (1)
페이지당 이벤트 수:
4
8
12
20
50
100
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
Rank: C
Offline
Paris (Palaiseau), France
Nov 5, 2025 - Nov 7, 2025
Abstraction techniques
Assessment for real-time systems
AI & Formal methods
+20 더 보기
