About this scholarly article

Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005. - Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs by Jianzhou Zhao, ; Jinian Bian, ; Weimin Wu, is a scholarly article available to read on EtoBox.

Author

Jianzhou Zhao, ; Jinian Bian, ; Weimin Wu,

Publisher

IEEE

Published

2005

Language

EN