Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
()
Department
Major(s)
-

Co-researchers

    Keyword

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

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

    Date issued

    Applied search limites :
    Author : 496 Date Issued : [2020 TO 2023] Date Issued : 2023
    Conference
    Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL

    19th International Conference on Formal Aspects of Component Software (FACS 2023), page. 127 - 152, 2023-10-19

    Conference
    Bounded STL Model Checking for Hybrid Systems (Invited Talk)

    9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), page. 1 - 1, 2023-10-18

    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