커뮤니티
세미나 안내
View
| [장소 변경] Statistical Software Assurance: Reasoning about Correctness under Uncertainty | ||
|---|---|---|
| 작성자 시스템 | 작성일 26/07/15 (00:00) | 조회수 77 |
---------------------------------------------------------------------------------------------------------------------------------
▣ 제목(Title) : Statistical Software Assurance: Reasoning about Correctness under Uncertainty
▣ 연사(Speaker) : 이성민 박사(UCLA)
▣ 일시(Date &Time) : 2026.7.15 (Wed), 12:30 ~
▣ 장소(Venue) : 공학 2동 106호
▣ 언어(Language) : 영어(English)
---------------------------------------------------------------------------------------------------------------------------------
