Open Access System for Information Sharing

Login Library

Browse by Researchers

BAE, KYUNGMIN(배경민) orcid scopus

Department: Dept of Computer Science & Engineering(컴퓨터공학과)

Major(s): -

E-Mail

Co-researchers

Keyword

Publication & Time Cited Count (For the Last 5 years)

Results 1-2 of 2 (Search time: 0.001 seconds).

Applied search limites :

Journal Registered : scopus Subject : Model checking Date Issued : 2015

Article

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case studySCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01

Article

Model checking linear temporal logic of rewriting formulas under localized fairnessSCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07

1

OAK

개인정보처리방침 Personal Information Protection Policy

library@postech.ac.kr Tel: 054-279-2548

Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

Browse

Login Library Help