( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalization and Verification of RTPS StatefulWriter Module Using CSP.

, , , , и . SEKE, стр. 147-198. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2019)

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.

Xu Qiwen

Xu Xu

Xu Xu

Xianxiang Xu

Imaging findings of cerebral schistosomiasis in China. Uni Hamburg, (2010)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)
 

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

Compositional Reasoning Using the Assumption-Commitment Paradigm., и . COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 565-583. Springer, (1997)Convolutional neural network for breast cancer diagnosis using diffuse optical tomography., , и . Vis. Comput. Ind. Biomed. Art, (2019)Correction to "Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data"., , , , , и . IEEE Access, (2020)Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.. HART, том 1201 из Lecture Notes in Computer Science, стр. 301-315. Springer, (1997)A mathematical analysis of improved EigenAnt algorithm., , , и . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)Refinement of Fair Action Systems., и . Acta Inf., 35 (2): 131-165 (1998)Formalising Scheduling Theories in Duration Calculus., и . Nord. J. Comput., 14 (3): 173-201 (2008)Toward a theory of sequential hybrid programs., , и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 366-384. Chapman & Hall, (1998)Comparative Research of Swam Intelligence Clustering Algorithms for Analyzing Medical Data., , , , , и . IEEE Access, (2019)A process calculus BigrTiMo of mobile systems and its formal semantics., , и . Formal Aspects Comput., 33 (2): 207-249 (2021)