From post

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.

 

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

Trace Analysis for Conformance and Arbitration Testing., , и . IEEE Trans. Software Eng., 15 (11): 1347-1356 (1989)Quality of service verification experiments., , , , и . CASCON, стр. 23. IBM, (1994)Performance testing of a negotiation platform., , и . Inf. Softw. Technol., 44 (5): 313-330 (2002)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)Model checking intelligent avionics systems for test cases generation using multi-agent systems., , , , , и . Expert Syst. Appl., (2020)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)Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*., , , и . Auton. Agents Multi Agent Syst., 27 (3): 375-418 (2013)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)