2015년 8월 13~14일, 무주 덕유산리조트로 K-Valley RED&B 워크샵을 다녀왔습니다.
건국대학교 유준범 교수님, 한국항공우주연구원의 신현규 박사님, ETRI의 강성주 박사님, 한국원자력연구원의 이장수 박사님께서 세미나를 해주셨습니다.
또한 SE lab에서도 응급 환자 이송 시나리오를 각각 UPPAAL, PRISM, DEVS로 SoS 시뮬레이션을 하여 결과를 보였습니다.
유익한 시간이었습니다.
2015년 8월 13~14일, 무주 덕유산리조트로 K-Valley RED&B 워크샵을 다녀왔습니다.
건국대학교 유준범 교수님, 한국항공우주연구원의 신현규 박사님, ETRI의 강성주 박사님, 한국원자력연구원의 이장수 박사님께서 세미나를 해주셨습니다.
또한 SE lab에서도 응급 환자 이송 시나리오를 각각 UPPAAL, PRISM, DEVS로 SoS 시뮬레이션을 하여 결과를 보였습니다.
유익한 시간이었습니다.