Open Access System for Information Sharing

Login Library

OASIS Repository@POSTECHLIBRARY

Browsing "2. Conference Papers" by Journal9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 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

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

Bae, Kyungmin

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