제3회 Computing Research Forum | Dept. of Computer Science and Engineering, SNU

Community
arrow_forward_ios
Seminars

Seminars

Community

Notice
News
Seminars
Faculty Recruitment
Student Council

About

Department Overview
Faculty
Undergraduate Guide
Graduate Guide

Resources

Notice
Seminars
Reservation

Research

Faculty Recruitment
Laboratories
Top Conference List
10-10 Project

More

Interdisciplinary Major in Artificial Intelligence
BK21 FOUR Intelligence Computing
Institute of Computer Technology
HAEDONG Digital Library

Privacy Policy|Contact Us|Directions

College of Engineering, Department of Computer Science and Engineering 301-316, 1 Gwanak-ro, Gwanak-gu, Seoul 08826 Republic of Korea

Powered by CSEREAL
© Department of CSE, SNU. All Rights Reserved.

제3회 Computing Research Forum

Name:

Affiliation:

Host: 서울대학교 컴퓨터공학부

Date: 11/16/2012 오후 01:30 - 오후 06:00

Location: 서울대학교 제 1 공학관(301동) 1층, 2층

Summary

/snucompforum Computing Research Forum

Next

Formal Specification and Verification of Distributed Cyber-Physical Systems

Prev

제1회 Computing Research Forum