Much research has been done recently in the area of formaldescription techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
2
Upon completion of construction, he must submit a project description outlining the LEED design features incorporated into the building for formal USGBC evaluation.