作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
这篇文章分析了无线设备的一些示例，并且研究了设备驱动程序的Linux实现、总线技术以及各种协议。
This article examines examples of such wireless devices and explores the respective Linux implementations of the device drivers, bus technologies, and protocols.
先进的US B端口监视器是一个软件工具，分析了USB总线，USB设备和协议。有了这个程序，你可以调试和测试usb设备和软件。
Advanced USB Port Monitor is a software tool that analyzes the USB Bus, USB device and protocol. With this app you can debug and test USB devices and software.
应用推荐