Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

FDT,FDT Tools and Research

Hu Jiabao(Wuhan University of Traffic Science and Technology)  
he paper explains the basic concept of formal methods and discusses the Formal Description Technique(FDT)applied to describing sequential software, concurrent software and formal based on graphic.The task, rule and classcification of supoort to formal description technique tools are also, discussed in the paper.
【CateGory Index】: TP301
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved