Date Range
Date Range
Date Range
6월말 5주간의 미국 Carnegie Mellon 대학 현지 교육. 팔달관 1003호에서 Logitech USB 동글 두고 가신분? 무선마우스나 무선 레이져포인터등.
This is your first post. Edit or delete it, then start writing! Designed by myThem.
Jump to main navigation and login. Our main research activity focuses on Model Checking based algorithms and tools for automatic analysis and synthesis of mission or safety critical reactive systems. Typically a system is considered mission critical when its failure may entail a loss of money whereas it is considered safety critical when its failure may entail loss of human lives.
Is our cloud-based IoT platform! Should be connected in a smart way. Is vital for successful multimedia services. Is a university spin-off born in our lab. Of the University of Cagliari and is affiliated with the CNIT. The competence of the team is focused on data net.