Open Access System for Information Sharing

Login Library

OASIS Repository@POSTECHLIBRARY

Browsing "2. Conference Papers" by Journal19th International Conference on Formal Aspects of Component Software (FACS 2023)

전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하

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:

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1 to 1 of 1

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

1

OAK

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