Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
BAE, KYUNGMIN(배경민) orcid scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-

Co-researchers

    Keyword

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

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

    Date issued

    Applied search limites :
    Date Issued : 2021
    Conference
    Efficient SMT-Based Model Checking for Signal Temporal Logic

    36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17

    Conference
    HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

    International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22

    1
    개인정보처리방침 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