( en | de | ru )

 

Disambiguation of "Ma, Weimin"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Behavioral Component Interoperability Using Positive/Negative Model Checking.

, , and . Software Engineering Research and Practice, page 588-594. CSREA Press, (2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

Weimin Liu

Weimin Xi

Weimin Gan

Weimin Weng

Weimin Li

 

Other publications of authors with the same name

Store-brand introduction and production arrangement in the presence of multiple retailers., , and . RAIRO Oper. Res., 54 (3): 827-843 (2020)Improvement on the Approximation Bound for Fuzzy-Neural Networks Clustering Method with Gaussian Membership Function., and . ADMA, volume 3584 of Lecture Notes in Computer Science, page 225-231. Springer, (2005)Approximation Bound for Fuzzy-Neural Networks with Bell Membership Function., and . FSKD (1), volume 3613 of Lecture Notes in Computer Science, page 721-727. Springer, (2005)Optimization models and a GA-based algorithm for stochastic time-cost trade-off problem., , and . Appl. Math. Comput., 215 (1): 308-313 (2009)New fuzzy models for time-cost trade-off problem., , , and . Fuzzy Optim. Decis. Mak., 9 (2): 219-231 (2010)Optimal Online Risk-Tolerant Ordering Policy for the Newsvendor with Forecast., and . J. Convergence Inf. Technol., 5 (4): 54-65 (2010)Rough approximation of a preference relation by multi-decision dominance for a multi-agent conflict analysis problem., and . Inf. Sci., (2015)Dynamic work hour optimization for casual workers., , and . J. Comb. Optim., 35 (4): 1185-1201 (2018)On The K-Truck Scheduling Problem., , , , and . Int. J. Found. Comput. Sci., 15 (1): 127-141 (2004)Verifying Behavioral Component Interoperability Using Positive/Negative Model Checking., , and . Software Engineering Research and Practice, page 588-594. CSREA Press, (2007)