( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid Multirate PALS.

, и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 114-134. Springer, (2015)

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

Jun-Sang Bae

Young-bae Song

 

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

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving., , , , , и . Petri Nets, том 13929 из Lecture Notes in Computer Science, стр. 369-392. Springer, (2023)SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems., , , , и . HSCC, стр. 145-154. ACM, (2016)A Term Rewriting Approach to Analyze High Level Petri Nets., , , , и . TASE, стр. 109-112. IEEE Computer Society, (2016)A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control., , , , и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 388-394. Springer, (2016)Guarded Terms for Rewriting Modulo SMT., и . FACS, том 10487 из Lecture Notes in Computer Science, стр. 78-97. Springer, (2017)Infinite-State Model Checking of LTLR Formulas Using Narrowing., и . WRLA, том 8663 из Lecture Notes in Computer Science, стр. 113-129. Springer, (2014)Composition of Languages, Models, and Analyses., , , , , , , , , и 1 other автор(ы). Composing Model-Based Analysis Tools, Springer, (2021)Formal Specification of Trusted Execution Environment APIs., , , и . FASE, том 14573 из Lecture Notes in Computer Science, стр. 101-121. Springer, (2024)Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata., , , , , и . FTSCS, стр. 3-15. ACM, (2022)An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs., , и . ISoLA (3), том 13703 из Lecture Notes in Computer Science, стр. 47-64. Springer, (2022)