From post

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.

, , и . KES-AMSTA (2), том 6071 из Lecture Notes in Computer Science, стр. 11-21. Springer, (2010)

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.

 

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

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models., , и . Protocol Test Systems, том C-3 из IFIP Transactions, стр. 195-206. North-Holland, (1991)A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120., , и . FORTE, том 43 из IFIP Conference Proceedings, стр. 287-294. Chapman & Hall, (1995)Quality of service verification experiments., , , , и . CASCON, стр. 23. IBM, (1994)A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem., , , , и . WCNC, стр. 3116-3121. IEEE, (2008)Trace Analysis for Conformance and Arbitration Testing., , и . IEEE Trans. Software Eng., 15 (11): 1347-1356 (1989)Abstract Operational Semantics for Use Case Maps., , и . FORTE, том 3731 из Lecture Notes in Computer Science, стр. 366-380. Springer, (2005)Big Data Quality: A Data Quality Profiling Model., , и . SERVICES, том 11517 из Lecture Notes in Computer Science, стр. 61-77. Springer, (2019)Case Study: Master of Science in Service Computing (Msc SC)., и . SERVICES, стр. 80-83. IEEE Computer Society, (2010)Model Checking Commitment Protocols., , и . IEA/AIE (2), том 6704 из Lecture Notes in Computer Science, стр. 37-47. Springer, (2011)Policy-Based QoS Enforcement for Adaptive Big Data Distribution on the Cloud., , , и . BigDataService, стр. 225-233. IEEE Computer Society, (2016)