Priority Inheritance Protocol Proved Correct von Zhang, Xingyuan, Urban, Christian, Wu, Chunhan

Volltext

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions von Wu, Chunhan, Zhang, Xingyuan, Urban, Christian

Volltext

Dynamic simulation and experimental study of a novel Al extraction method from AlN under vacuum von Lu, Yong, Zhou, Yuezhen, Wu, Chunhan, Chen, Xiumin, Wang, Jiaju, Yu, Qingchun, Liu, Dachun, Yang, Bin

Volltext

A Formal Model and Correctness Proof for an Access Control Policy Framework von Wu, Chunhan, Zhang, Xingyuan, Urban, Christian

Volltext

Design and implementation of Directory Service network management system based on event bus pattern von Jiuqiang Cui, Chunhan Wu

Volltext bestellen

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl) von Wu, Chunhan, Zhang, Xingyuan, Urban, Christian

Volltext

Priority Inheritance Protocol Proved Correct von Zhang, Xingyuan, Urban, Christian, Wu, Chunhan

Volltext

A Replay-Oriented Software Architecture for Easy Debugging von Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang

Volltext bestellen

Hydraulic pile stabilizing platform von WU CHUNHAN, ZHANG PENGPENG

Volltext bestellen

Triangular hanging bracket for steel pipe pile von GAO JIALIN, WU CHUNHAN

Volltext bestellen

Pile stabilizing platform positioning, installing and recycling system and technology thereof von SHEN FENG, LI JUN, LIN LING, WU CHUNHAN, WANG GAOFENG

Volltext bestellen

Deep water area submarine cable laying equipment and laying method von SHEN FENG, DAI JIAYI, GAO JIALIN, LIU WEI, WU CHUNHAN, ZHANG PENGPENG, HUANG BIBI

Volltext bestellen

Solidified soil blowing and filling device of offshore wind power foundation and construction method of solidified soil blowing and filling device von SHEN FENG, LI JUN, WANG BINCAI, HUANG JIAWEI, WU CHUNHAN

Volltext bestellen

Deep water area anchor pile positioning device and process von SHEN FENG, SHEN ZHENGMING, CHEN JIAN, WU CHUNHAN, MA JI

Volltext bestellen

Underwater positioning pile sinking system for jacket foundation and process of underwater positioning pile sinking system von SHEN FENG, HUANG JIAWEI, SU ZHAN, WU CHUNHAN, WANG GAOFENG

Volltext bestellen

Seawater lifting tower with telescopic flexible pipeline von XUE DONGLIN, WANG BINCAI, WU CHUNHAN, HUANG MINMIN, ZHENG WEI

Volltext bestellen

Strip-shaped object crane system von LI CHEN, WU CHUNHAN

Volltext bestellen

Self-climbing hoisting mechanism and hoisting method thereof von MA LI, SHEN FENG, JI PEIRONG, SHEN ZHENGMING, WU CHUNHAN

Volltext bestellen

Rotatable lifting beam for lifting steel pipe pile von WU CHUNHAN, SU TIEYAN

Volltext bestellen

Sleeve connection type pile hammer storage device von LI CHEN, LIN LING, SU TIEYAN, WU CHUNHAN, ZHANG PENGPENG

Volltext bestellen