Open Access System for Information Sharing

Login Library
검색

  OASIS Repository@POSTECHLIBRARY

Search Result

Applied search limites :
Add filters:Use filters to refine the search results.
Results 1-6 of 6 (Search time: 0.001 seconds).
Item hits:
Article
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case studySCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01

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
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

Article
Formal patterns for multirate distributed real-time systemsSCIESCOPUS

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

Article
Symbolic state space reduction with guarded terms for rewriting modulo SMTSCIESCOPUS

SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06

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

1

Discover

Date issued

Type

Journal Registered

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