Report on industrial attachment with Temasek Lab@NTU

بواسطة Gui, Lin.
منشور في 2010

Reliability Analysis of Non-deterministic Systems

بواسطة GUI LIN
منشور في 2014

Ultrasonic cavitation in machining

بواسطة How, Gui Lin
منشور في 2016

Reliability assessment for distributed systems via communication abstraction and refinement

بواسطة GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
منشور في 2015

Improved reachability analysis in DTMC via divide and conquer

بواسطة SONG, Songzheng, GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
منشور في 2013

SCC-based improved reachability analysis for Markov decision processes

بواسطة GUI, Lin, SUN, Jun, SONG, Songzheng, LIU, Yang, DONG, Jin Song
منشور في 2014

Block pilot based channel estimation and high-accuracy signal detection for GSM-OFDM systems on high-speed railways

بواسطة Gong, Bo, Gui, Lin, Luo, Sheng, Guan, Yong Liang, Liu, Zilong, Fan, Pingzhi
منشور في 2019

Combining model checking and testing with an application to reliability prediction and distribution

بواسطة GUI, Lin, SUN, Jun, LIU, Yang, SI, Yuanjie, DONG, Jin Song, WANG, Xinyu
منشور في 2013

RaPiD: A toolkit for reliability analysis of non-deterministic systems

بواسطة GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
منشور في 2014

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

بواسطة HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
منشور في 2012