机译:使用过程代数对软件定义网络中OpenFlow控制器的拓扑发现机制进行建模和验证
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:通过设计并发控制器进行验证,消除空中交通管制软件中的同步故障
机译:软件调试:基于硬件的控制器软件验证
机译:非线性的检测,识别和补偿,以及用于非线性控制器的实验验证平台。
机译:航向与速度耦合非线性控制器的设计与验证
机译:通过并发控制器进行验证的设计消除空中交通管制软件中的同步故障
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷