作者	王亚超、马汉武
出版社
出版时间	2006-08-01

特色：

本书在简要介绍离散系统仿真的基本方法的基础上，重点介绍了当前在仿真领域中呼声很高的Witness平台。其中包括Witness提供的元素、规则、函数及程序设计基础等；通过大量实例说明如何使用Witness建立仿真模型；通过实例说明仿真模型优化的实施；仿真模型文档的生成等。