Provably correct systems : modelling of communication languages and design of optimized compilers

von Jifeng, He
Veröffentlicht 1995

Meng yi lin chuang yi xue jin dian

von He, Yifeng
Veröffentlicht 2020

Tian ren ju suo : Zang chuan fo jiao zong pai ming si

von He, Jiefeng
Veröffentlicht 201807

Mathematical frameworks for component software : models for analysis and synthesis

Veröffentlicht 2006

Tian ren ju suo : Zang chuan fo jiao zong pai ming si

von He, Jiefeng
Veröffentlicht 2018

Unifying theories of programming

von Hoare, Charles A. R.
Veröffentlicht 1998

BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996

Veröffentlicht 1997

Exploration of Underwater Storage Facilities with Swarm of Micro-surface Robots

von He, Yifeng
Veröffentlicht in TAROS (23. : 2022 : Culham) Towards autonomous robotic systems (2022)

Optimal resource allocation for distributed video communication

von He, Yifeng
Veröffentlicht 2014

Multimedia image and video processing

Veröffentlicht 2012

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25 - 27, 2000 ; proceedings

Veröffentlicht 2000

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

Veröffentlicht 2013

Advances in computing science : 6th Asian Computing Science Conference, Penang, Malaysia, November 25 - 27, 2000 ; proceedings

Veröffentlicht 2000

Design of Highly Reliable Digital Signal Transmission System Based on Serial Communication Protocol

von He, Yifeng
Veröffentlicht in International Conference on Signal and Information Processing, Networking and Computers (6. : 2019 : Guiyang, Guizhou) Signal and information processing, networking and computers (2020)

Advances in computing science - ASIAN 2000 : proceedings

Veröffentlicht 2000

Rely-guarantee method for verifying shared variable concurrent programs

von Xu, Qiwen
Veröffentlicht 1995

Rely guarantee method for verifying shared variable concurrent programs

von Xu, Qiwen
Veröffentlicht 1995

Research Progress of Inter-satellite Precision Measurement and Time-Frequency Synchronization Technology Based on USO

von Liu, Xuan
Veröffentlicht in China Satellite Navigation Conference (12. : 2021 : Nanchang) China Satellite Navigation Conference (CSNC 2021), proceedings ; Volume 3 (2021)

Advances in computing science - ASIAN 2000 : proceedings

Veröffentlicht 2000

Research and Implementation of X-Band Low Noise Sampling Phase-Locked Frequency Multiplier

von Xu, Jin
Veröffentlicht in International Conference on Signal and Information Processing, Networking and Computers (6. : 2019 : Guiyang, Guizhou) Signal and information processing, networking and computers (2020)