From post

Model Checking Techniques for Test Generation from Business Process Models.

, , и . Ada-Europe, том 5570 из Lecture Notes in Computer Science, стр. 59-74. Springer, (2009)

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.

 

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

Towards Service-Based Business Process Modeling, Prototyping and Integration., и . RISE, том 3943 из Lecture Notes in Computer Science, стр. 218-233. Springer, (2005)Total Recall: Persistence of Passwords in Android., , и . NDSS, The Internet Society, (2019)Bedrock: Programmable Network Support for Secure RDMA Systems., , , , , и . USENIX Security Symposium, стр. 2585-2600. USENIX Association, (2022)NetWarden: Mitigating Network Covert Channels while Preserving Performance., , и . USENIX Security Symposium, стр. 2039-2056. USENIX Association, (2020)Closed-loop Network Performance Monitoring and Diagnosis with SpiderMon., , , , и . NSDI, стр. 267-285. USENIX Association, (2022)RDC: Energy-Efficient Data Center Network Congestion Relief with Topological Reconfigurability at the Edge., , , , , и . NSDI, стр. 1267-1288. USENIX Association, (2022)Sensitivity of Green-Up Date to Meteorological Indicators in Hulun Buir Grasslands of China., , , , , , , , , и 1 other автор(ы). Remote. Sens., 14 (3): 670 (2022)Automatic Assessment of the Wrist Movement Function in a Haptic Virtual Environment for Home-Based Stroke Rahabilitation., , , и . CCECE, стр. 1-4. IEEE, (2018)A Feasibility Study on Time-aware Monitoring with Commodity Switches., , , и . SPIN@SIGCOMM, стр. 22-27. ACM, (2020)Say No to Rack Boundaries: Towards A Reconfigurable Pod-Centric DCN Architecture., , , и . SOSR, стр. 112-118. ACM, (2019)