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-4 of 4 (Search time: 0.001 seconds).
    Export

    Date issued

    Type

    Journal Registered

    Applied search limites :
    Date Issued : [2020 TO 2024] Journal Registered : scie Journal Registered : scopus
    Article
    A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri NetsSCIESCOPUS

    Fundamenta Informaticae, vol. 192, no. 3-4, page. 261 - 312, 2024-09

    Article
    Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solvingSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03

    Article
    MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical SystemsSCIESCOPUS

    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10

    Article
    Formal aspects of component software (FACS 2018) PrefaceSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 200, 2020-12

    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