VSPEC and its integrated tool suite

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems ◽

10.1109/ecbs.2002.999819 ◽

2003 ◽

Author(s):

M. Rangarajan ◽

K. Jambhekar ◽

A. Rajkhowa ◽

P. Alexander

Download Full-text