Integrating formal methods tools to support system design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shiu-Kai Chin, John Faust, Joseph Giordano. Integrating formal methods tools to support system design. In 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA. pages 88, IEEE Computer Society, 1995. [doi]

This author has not been identified. Look up 'Shiu-Kai Chin' in GoogleThis author has not been identified. Look up 'John Faust' in GoogleThis author has not been identified. Look up 'Joseph Giordano' in Google

runs on WebDSL