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

    Date issued

    Type

    Journal Registered

    Applied search limites :
    Author : Olveczky, PC Author : 496
    Article
    Hybrid Multirate PALSSCIESCOPUS

    LOGIC, REWRITING, AND CONCURRENCY, vol. 9200, page. 114 - 134, 2015-08

    Article
    Formal patterns for multirate distributed real-time systemsSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01

    Article
    Verifying hierarchical Ptolemy II discrete-event models using Real-Time MaudeSCIESCOPUS

    SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01

    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