• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
닫기
Loading..

Please wait....

대회안내

홈 홈 > 알림마당 > 대회안내
21577 TACAS 2022 : Conference on Tools and Algorithms for the Construction and Analysis of Systems
개최일자 2022/04/02-07 국내/국외 국외
홈페이지 https://etaps.org/2022/tacas 장 소 Munich, Germany

TACAS 2022 : 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

April 2-7, 2022

Munich, Germany