( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Graph Methods for Generating Test Cases with Universal and Existential Constraints.

, , и . ICTSS, том 9447 из Lecture Notes in Computer Science, стр. 55-70. 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.

Martin Halle

Maria Halle

Gunda Halle

Horst Halle

Willi Halle

 

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

Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes., , , и . GOODTECHS, стр. 43-48. ACM, (2019)A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition., , , , и . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, стр. 1052-1056. IEEE, (2018)Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.. WS-FM, том 6551 из Lecture Notes in Computer Science, стр. 42-55. Springer, (2010)Predictive Analytics for Event Stream Processing., , , и . EDOC, стр. 171-182. IEEE, (2019)Runtime Monitoring of Temporal Logic Properties in a Platform Game., , , , и . RV, том 8174 из Lecture Notes in Computer Science, стр. 346-351. Springer, (2013)A Case for "Piggyback" Runtime Monitoring., и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 295-311. Springer, (2012)Uncertainty in runtime verification: A survey., , и . Comput. Sci. Rev., (ноября 2023)Automated exploration and analysis of ajax web applications with WebMole., , и . WWW (Companion Volume), стр. 245-248. International World Wide Web Conferences Steering Committee / ACM, (2013)Self-configuration of Network Devices with Configuration Logic., , , и . Autonomic Networking, том 4195 из Lecture Notes in Computer Science, стр. 36-49. Springer, (2006)Efficient Generation of Test Data with Extended Cardinality Constraints., и . QRS, стр. 386-393. IEEE, (2019)