《Compositional Verification of Concurrent and Real-Time Systems》

请叫我雷锋 · 发表于 2017-10-19 10:44:40

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？立即注册

x

《Compositional Verification of Concurrent and Real-Time Systems》
并发和实时系统的组合验证
作者：
Eric Y. T. Juan
Department of Information and Computer Engineering
Chung Yuan Christian University
Chung Li, Taiwan
Jeffrey J. P. Tsai
Department of Computer Science
University of Illinois at Chicago
Chicago, IL, U.S.A.
出版社：Springer
出版时间：2002年

《Compositional Verification of Concurrent and Real-Time Systems》