( en | de | ru )

 

Disambiguation of "Wang, Fujun"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample generation in CPS model checking based on ARSG algorithm.

, , , and . Int. J. Comput. Sci. Eng., 24 (3): 312-321 (2021)

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.

Fujun Du

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Xiaolin Wang

Zhongxin Wang

 

Other publications of authors with the same name

Counterexample generation in CPS model checking based on ARSG algorithm., , , and . Int. J. Comput. Sci. Eng., 24 (3): 312-321 (2021)Design and Control of a Spatial Micromanipulator Inspired by Deployable Structure., , , , and . IEEE Trans. Ind. Electron., 69 (1): 971-979 (2022)A product information modeling framework for product lifecycle management., , , and . Comput. Aided Des., 37 (13): 1399-1411 (2005)A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm., , , , and . ISKE, page 95-100. IEEE, (2021)Control and Testing of a Serial-Parallel XYZ Precision Positioner with a Discrete-Time Sliding Model Controller., , , , , , and . ICIRA (2), volume 11741 of Lecture Notes in Computer Science, page 266-276. Springer, (2019)Dynamic Analysis of Immersion Pump Rotors Considering Fluid Effects., , and . BIC-TA (2), volume 2062 of Communications in Computer and Information Science, page 418-429. Springer, (2023)Modeling and Testing of a Novel Decoupled XY Nano-positioning Stage., , , , , and . ICIRA (2), volume 11741 of Lecture Notes in Computer Science, page 277-284. Springer, (2019)Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions., , , and . IEEE Access, (2020)Graded labellings for abstract argumentation., , , and . Int. J. Approx. Reason., (2023)Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach., , , and . CoRR, (2020)