( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and Verification of Circuit with Stable-Event.

, , и . CyberC, стр. 471-475. IEEE, (2017)

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.

Anping Liu

Hongxia He

Chunmao He

Ning He

Xiaowen He

 

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

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling., , , и . J. Comput., 8 (2): 372-379 (2013)Modeling and Verification of Circuit with Stable-Event., , и . CyberC, стр. 471-475. IEEE, (2017)Approximate Completed Trace Equivalence of Linear Algebra Transition Systems., , , , и . BIC-TA, том 212 из Advances in Intelligent Systems and Computing, стр. 233-237. Springer, (2013)A FPGA Based SAT Solver with High Random and Concurrent Strategies., , , , и . QRS Companion, стр. 221-228. IEEE, (2018)A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series., , , и . Neural Processing Letters, 46 (3): 1059-1081 (2017)A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks., , , , , , и . J. Appl. Math., (2014)A discrete invasive weed optimization algorithm for solving traveling salesman problem., , , , и . Neurocomputing, (2015)Mathematical analysis of stage-based programmable logic controller., , , , и . Comput. Math. Appl., 61 (7): 1769-1785 (2011)Modular Timing Constraints for Delay-Insensitive Systems., , , , и . J. Comput. Sci. Technol., 31 (1): 77-106 (2016)Approximate Equivalence of the Hybrid Automata with Taylor Theory., , , и . J. Appl. Math., (2014)