specifie相关论文
With an example,this paper describes a method of using temporal logic for stepwise analysis of protocolspecifications.E......
A modern and robust methodology for modeling anisotropic creep characteristics of Ni-based DS and SC
According to more recent work,the Wilshire equations have shown good prediction accuracy in a wide range of materials an......
