搜索结果: 1-3 共查到“计算机软件 function”相关记录3条 . 查询时间(0.171 秒)
2017年第一届国际软件定义网络和网络功能虚拟化研讨会（The First international workshop on Software Defined Networks and Network Function Virtualization）(SDN-NFV)
2017年 第一届 国际软件定义网络 网络功能虚拟化 研讨会
2017/3/21
The emerging networking techniques such as Software Defined Network (SDN) and Network Function Virtualization (NFV) are promising a complete paradigm shift in how we manage our future networks. With t...
Accurate estimation of the size and development effort for software projects requires estimation models which can be used early enough in the development life cycle to be of practical value. Function ...
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram
Function Block Diagram Formal Verification Counter-example Visualization Verilog Translation Programmable Logic Controller Model Checking
2014/3/11
Model checking is often applied to verify safety-critical software implemented in programmable logic controller (PLC) language such as a function block diagram (FBD). Counter-examples generated by a m...