Author of the publication

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).

, , , , , and . 计算机科学, 43 (2): 113-117 (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The theoretical research of generative adversarial networks: an overview., , , , and . Neurocomputing, (2021)A Predictive Energy Consumption Scheduling Algorithm for Multiprocessor Heterogeneous System., , , , and . IEEE Trans. Green Commun. Netw., 6 (2): 979-991 (2022)A Novel Low-Complexity Joint Range-Azimuth Estimator for Short-Range FMCW Radar System., , , , and . CSPS, volume 571 of Lecture Notes in Electrical Engineering, page 1782-1786. Springer, (2019)Online Handwritten Chinese Character Recognition Based on 1-D Convolution and Two-Streams Transformers., , , , and . IEEE Trans. Multim., (2024)Transmitter Centric Scheduling in Multi-Cell MIMO Uplink System., , and . ICC, page 1-6. IEEE, (2010)A real-time tennis level evaluation and strokes classification system based on the Internet of Things., , , , , , , and . Internet Things, (2022)SSG-Net: A novel Text-to-Painting AI artwork generator enables illustrating of the step-by-step painting process., and . BigMM, page 3-10. IEEE, (2023)Integrated Sensing and Communication in 6G: Motivations, Use Cases, Requirements, Challenges and Future Directions., , , , , , and . JC&S, page 1-6. IEEE, (2021)Aligning Guard Zones of Massive MIMO in Cognitive Femtocell Networks., , and . IEEE Communications Letters, 18 (2): 229-232 (2014)Lightweight Single Image Super-resolution with Dense Connection Distillation Network., , , , and . ACM Trans. Multim. Comput. Commun. Appl., 17 (1s): 9:1-9:17 (2021)