( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX.

, , и . J. Inf. Secur. Appl., (2016)

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.

Min Zhang

Min Zhang

Min Zhang

Min Zhang

Min Zhang

 

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

DeMPT: Decoding-enhanced Multi-phase Prompt Tuning for Making LLMs Be Better Context-aware Translators., , , , , , , и . CoRR, (2024)Photoelectrochemical and photocatalytic properties of N + S co-doped TiO2 nanotube array films under visible light irradiation, , , и . (2011)cite arxiv:1107.4411Comment: 5 pages, 6 figures.The Infinite Evolution Mechanism of ϵ-Bisimilarity., и . J. Comput. Sci. Technol., 28 (6): 1097-1105 (2013)Infinite Evolution Mechanism of Probabilistic Processes., , и . ICTCS, стр. 155-161. (2009)Lattice-Valued Kripke Structures Based on Complete Residuated Lattice., , и . SERE (Companion), стр. 137-143. IEEE, (2012)A Markov Random Field Moel with Alternating Granularities for Segmentation of High Spatial Resolution Remote Sensing Imagery., , , и . IGARSS, стр. 3852-3855. IEEE, (2019)Rural Land Surface Temperature Gradient Change and its Mechanism Analysis in 32 Cities in China., , , и . IGARSS, стр. 4407-4410. IEEE, (2019)Impact of the Important Users on Social Recommendation System., , , , , и . CollaborateCom, том 252 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 425-434. Springer, (2017)IPRE: A Dataset for Inter-Personal Relationship Extraction., , , , и . NLPCC (2), том 11839 из Lecture Notes in Computer Science, стр. 103-115. Springer, (2019)PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems., , , и . MMB/DFT, том 9629 из Lecture Notes in Computer Science, стр. 77-91. Springer, (2016)