( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Query by Drawing Examples of UML Model.

, , и . APSEC Workshops, стр. 154-157. IEEE, (2012)

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.

Li Li

Li Li

Li Li

Li Li

Li Li

 

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

Machine learning steered symbolic execution framework for complex software code., , , , , , , и . Formal Aspects Comput., 33 (3): 301-323 (2021)An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability., , , и . SEKE, стр. 632-635. Knowledge Systems Institute Graduate School, (2014)Approximate optimal hybrid control synthesis by classification-based derivative-free optimization., , , , и . HSCC, стр. 7:1-7:11. ACM, (2021)Detecting source code changes to maintain the consistence of behavioral model., , , и . Internetware, стр. 7:1-7:6. ACM, (2012)Checking MSC Specifications for Timing Inconsistency., , и . J. Comput. Sci. Technol., 17 (1): 47-55 (2002)From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT., , , и . SETSS, том 12154 из Lecture Notes in Computer Science, стр. 10-43. Springer, (2019)Enhancing Reusability and Maintainability in NDOOM., и . OOIS, стр. 236-246. Springer, (1997)Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware., , , , , , , и . IEEE Internet Things J., 10 (23): 20718-20734 (декабря 2023)Runtime Verification of Java Programs for Scenario-Based Specifications., , , , , , и . Ada-Europe, том 4006 из Lecture Notes in Computer Science, стр. 94-105. Springer, (2006)Checking Hybrid Automata for Linear Duration Invariants., , и . ASIAN, том 1345 из Lecture Notes in Computer Science, стр. 166-180. Springer, (1997)