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