( en | de | ru )

 

Disambiguation of "Lee, Scott Uk-Jin"

Author of the publication

copydeleteadd this publication to your clipboard
A PVS Approach to Verifying ORA-SS Data Models.

, , , and . SEKE, page 126-131. (2006)

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.

Uk Han Lee

Seung Jin Lee

Jin-Kuk Lee

Jin Oh Lee

Young Jin Lee

 

Other publications of authors with the same name

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization., , , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 379-380. Springer, (2011)Correctness Criteria for Normalization of Semistructured Data., , , , and . Australian Software Engineering Conference, page 248-257. IEEE Computer Society, (2008)Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment., , , and . APSEC, page 260-267. IEEE, (2019)Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid., , , , , , and . Wireless Personal Communications, 106 (4): 1969-1983 (2019)Enhancing Fidelity of Description in Android Apps With Category-Based Common Permissions., , , and . IEEE Access, (2021)Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models., , , and . IEEE Access, (2017)An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform., , , , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 160-171. Springer, (2011)Research into Verifying Semistructured Data., , , and . ICDCIT, volume 4317 of Lecture Notes in Computer Science, page 361-374. Springer, (2006)Formal Verification of Semistructured Data Models in PVS., , , and . J. Univers. Comput. Sci., 15 (1): 241-272 (2009)Why the new consensus mechanism is needed in blockchain technology?, and . BCCA, page 92-99. IEEE, (2020)