( en | de | ru )

 

Disambiguation of "Kwon, Gihwon"

Author of the publication

copydeleteadd this publication to your clipboard
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts

. (2000)
DOI: http://dx.doi.org/10.1007/3-540-40011-7\_39

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. You can also use the button next to the name to display some publications already assigned to the person.

Hyogmyon Kwon

Jagun Kwon

Youngshin Kwon

Kwangsoo Kwon

Sanghee Kwon

 

Other publications of authors with the same name

Solving Box-Pushing Games via Model Checking with Optimizations., and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 491-494. Springer, (2004)Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door., , and . APSEC, page 647-648. IEEE, (2023)Failure Analysis in Safety Critical Systems Using Failure State Machine., , and . CSA/CUTE, volume 474 of Lecture Notes in Electrical Engineering, page 540-545. Springer, (2017)OCL Evaluation on AUTOSAR Model., , , and . SEKE, page 645-648. Knowledge Systems Institute Graduate School, (2010)Applying Lightweight Formal Approach to Automatic Configuration Inspection., and . SEKE, page 107-110. Knowledge Systems Institute Graduate School, (2011)Japanese Puzzle as a SAT Problem., and . SEKE, page 543-548. Knowledge Systems Institute Graduate School, (2008)Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning., , , , and . IEEE Access, (2024)Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA., , and . J. Multim. Inf. Syst., 10 (3): 271-278 (September 2023)Formalization of fFSM Model and Its Verification., , and . ICESS, volume 3820 of Lecture Notes in Computer Science, page 361-372. Springer, (2005)Simulating Synthesized Automata from Decentralized Specifications in LTL., and . FCC, volume 301 of Lecture Notes in Electrical Engineering, page 431-437. Springer, (2014)