From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.

K. Bae, и P. Ölveczky. FACS, том 14485 из Lecture Notes in Computer Science, стр. 127-152. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kyungmin In

Soonil Bae

Han Bae

Young-bae Song

Jin-Woo Bae

Другие публикации лиц с тем же именем

Guarded Terms for Rewriting Modulo SMT.K. Bae, и C. Rocha. FACS, том 10487 из Lecture Notes in Computer Science, стр. 78-97. Springer, (2017)Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci, и F. Rømming. Petri Nets, том 13929 из Lecture Notes in Computer Science, стр. 369-392. Springer, (2023)SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.K. Bae, P. Ölveczky, S. Kong, S. Gao, и E. Clarke. HSCC, стр. 145-154. ACM, (2016)A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.R. Goldman, D. Bryce, M. Pelican, D. Musliner, и K. Bae. NFM, том 9690 из Lecture Notes in Computer Science, стр. 388-394. Springer, (2016)A Term Rewriting Approach to Analyze High Level Petri Nets.X. He, R. Zeng, S. Liu, Z. Sun, и K. Bae. TASE, стр. 109-112. IEEE Computer Society, (2016)Infinite-State Model Checking of LTLR Formulas Using Narrowing.K. Bae, и J. Meseguer. WRLA, том 8663 из Lecture Notes in Computer Science, стр. 113-129. Springer, (2014)Composition of Languages, Models, and Analyses.C. Talcott, S. Ananieva, K. Bae, B. Combemale, R. Heinrich, M. Hills, N. Khakpour, R. Reussner, B. Rumpe, P. Scandurra и 1 other автор(ы). Composing Model-Based Analysis Tools, Springer, (2021)Formal Specification of Trusted Execution Environment APIs.G. Yu, S. Chae, K. Bae, и S. Moon. FASE, том 14573 из Lecture Notes in Computer Science, стр. 101-121. Springer, (2024)Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption.J. Lee, и K. Bae. FM (1), том 14933 из Lecture Notes in Computer Science, стр. 425-442. Springer, (2024)Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.J. Arias, K. Bae, C. Olarte, P. Ölveczky, L. Petrucci, и F. Rømming. FTSCS, стр. 3-15. ACM, (2022)

BibSonomy

Disambiguation