Open Access System for Information Sharing

Login Library
검색

  OASIS Repository@POSTECHLIBRARY

Browsing by  AuthorOlveczky, Peter Csaba

전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하
All 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:
Showing results 1 to 3 of 3
Article
Formal aspects of component software (FACS 2018) PrefaceSCIESCOPUS

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

Article
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADLSCIE

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 24, no. 6, page. 911 - 948, 2022-12

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

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