Open Access System for Information Sharing

Login Library
검색

  OASIS Repository@POSTECHLIBRARY

Browsing "Department of Computer Science & Engineering (컴퓨터공학과)" by  SubjectSEMANTICS

전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하
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
Model checking linear temporal logic of rewriting formulas under localized fairnessSCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07

Article
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solvingSCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03

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