Ambiguity resolution for smartphone GNSS precise positioning: effect factors and performance von Li, Bofeng, Miao, Weikai, Chen, Guang’e, Li, Zhong

Volltext

A Survey on Data-Flow Testing von Su, Ting, Wu, Ke, Miao, Weikai, Pu, Geguang, He, Jifeng, Chen, Yuting, Su, Zhendong

Volltext

Vectorial integer bootstrapping of best integer equivariant estimation (VIB-BIE) for efficient and reliable GNSS ambiguity resolution von Miao, Weikai, Li, Bofeng, Gao, Yang, Chen, Guang’e

Volltext

Models, methods and assessment of four-frequency carrier ambiguity resolution for BeiDou-3 observations von Zhang, Zhetao, Li, Bofeng, He, Xiufeng, Zhang, Zhiteng, Miao, Weikai

Volltext

A Formal Engineering Framework for Service-Based Software Modeling von Miao, Weikai, Liu, Shaoying

Volltext

A formal specification animation method for operation validation von Liu, Shaoying, Miao, Weikai

Volltext

Automated coverage-driven testing： combining symbolic execution and model checking von Su, Ting, Pu, Geguang, Miao, Weikai, He, Jifeng, Su, Zhendong

Volltext

An Enhanced Piezoelectric Vibration Energy Harvesting System with Macro Fiber Composite von Xu, Minglong, Yan, Bo, Luo, Yajun, Miao, Weikai, Zhang, Shuwen

Volltext

The Superiority of Multi-GNSS L5/E5a/B2a Frequency Signals in Smartphones: Stochastic Modeling, Ambiguity Resolution, and RTK Positioning von Miao, Weikai, Li, Bofeng, Gao, Yang

Volltext

Improved precise positioning with BDS-3 quad-frequency signals von Li, Bofeng, Zhang, Zhiteng, Miao, Weikai, Chen, Guang’e

Volltext

Automated Safety Analysis on Scenario-Based Requirements for Train Control System von Wang, Xi, Miao, Huaikou, Miao, Weikai

Volltext

An Automated Test Case Generation Approach based on Activity Diagrams of SysML von Yin, Yufei, Xu, Yiqun, Miao, Weikai, Chen, Yixiang

Volltext

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction von Liu, Shaoying, Wang, Xi, Miao, Weikai

Volltext

Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study von Tang, Xudong, Wang, Qiang, Miao, Weikai

Volltext

Automated Requirements Validation for ATP Software via Specification Review and Testing von Miao, Weikai, Pu, Geguang, Yao, Yinbo, Su, Ting, Bao, Danzhu, Liu, Yang, Chen, Shuohao, Xiong, Kunpeng

Volltext

Incremental Points-to Analysis for Java via Edit Propagation von Chen, Yuting, Shi, Qiuwei, Miao, Weikai

Volltext

北斗系统GEO/IGSO/MEO卫星观测信息随机特性评估与分析 von 高为广, 苗维凯, 陈谷仓, 加松

Volltext

Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling von Miao, Weikai, Liu, Shaoying

Volltext

A Formal Specification-Based Testing Approach to Accurate Web Service Selection von Weikai Miao, Shaoying Liu

Volltext bestellen

A Formal Specification-Based Integration Testing Approach von Miao, Weikai, Liu, Shaoying

Volltext