( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Verified Java Code Generation from Concurrent State Machines.

, , , , , , и . AMT@MoDELS, том 1277 из CEUR Workshop Proceedings, стр. 64-69. CEUR-WS.org, (2014)

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.

Dan Zhang

Dan Zhang

Dan Zhang

Zhang Zhang

Dan Stern

 

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

A Fuzzy Support Vector Machine-Enhanced Convolutional Neural Network for Recognition of Glass Defects., , , , и . Int. J. Fuzzy Syst., 21 (6): 1870-1881 (2019)Compressive tracking combined with sample weights and adaptive learning factor., , , , и . Concurr. Comput. Pract. Exp., (2018)Revenue Management for Parallel Flights with Customer-Choice Behavior., и . Operations Research, 53 (3): 415-431 (2005)Mixed H∞ and passivity based state estimation for fuzzy neural networks with Markovian-type estimator gain change., , и . Neurocomputing, (2014)Reductions of Approximate Linear Programs for Network Revenue Management., и . Operations Research, 63 (6): 1352-1371 (2015)Distributed non-fragile stabilization of large-scale systems with random controller failure., , и . Neurocomputing, (2016)Sentiment detection with auxiliary data., , и . Inf. Retr., 15 (3-4): 373-390 (2012)Dynamic modelling of a 3-DOF parallel manipulator using recursive matrix relations., , и . Robotica, 24 (1): 125-130 (2006)Semi-supervised discriminative classification with application to tumorous tissues segmentation of MR brain images., , , , , и . Pattern Anal. Appl., 12 (2): 99-115 (2009)Routing and Name Resolution in Information-Centric Networks., и . ICCCN, стр. 1-7. IEEE, (2013)