Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
Browse by Researchers
BAE, KYUNGMIN(배경민)
orcid
scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-
E-Mail
×
E-Mail
Co-researchers
네트워크
×
공저자 목록
뒤로가기
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-1 of 1 (Search time: 0.0 seconds).
Export
EXCEL
BIBTEX
Date issued
2024
1
Type
Article
1
Subject
Maude
1
MODEL-CHECKING
1
parameter synthesis
1
parametric timed Petri nets
1
REAL-TIME
1
rewriting logic
1
SEMANTICS
1
SMT
1
SPECIFICATION
1
symbolic reachability analysis
1
next >
Journal Registered
SCIE
1
SCOPUS
1
Applied search limites :
Journal Registered
: scopus
Type
: Article
Subject
: REAL-TIME
Subject
: Maude
Journal Papers(International)
Journal Papers
(Domestic)
Conference Papers(International)
Conference Papers(Domestic)
20 건
100 건
200 건
Article
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets
SCIE
SCOPUS
Fundamenta Informaticae, vol. 192, no. 3-4, page. 261 - 312, 2024-09
Arias, Jaime
;
Olarte, Carlos
;
Petrucci, Laure
;
Bae, Kyungmin
;
Olveczky, Peter Csaba
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help