Office: B2-225 Phone: +82-54-279-2256
rgyen@postech.ac.kr
jeyeon@postech.ac.kr
sean96@postech.ac.kr
kimsangki@postech.ac.kr
masonkang@postech.ac.kr
cee5539@postech.ac.kr
thkighie1224@postech.ac.kr
shchae7@postech.ac.kr
M.S. Thesis: "HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL"