Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cássio L. Rodrigues, Fabio Jorge Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher. Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2093-2098, IEEE, 2008. [doi]

This author has not been identified. Look up 'Cássio L. Rodrigues' in GoogleThis author has not been identified. Look up 'Fabio Jorge Morais' in GoogleThis author has not been identified. Look up 'Leandro Max L. Silva' in GoogleThis author has not been identified. Look up 'Karina R. G. da Silva' in GoogleThis author has not been identified. Look up 'Jorge C. A. de Figueiredo' in GoogleThis author has not been identified. Look up 'Dalton Dario Serey Guerrero' in GoogleThis author has not been identified. Look up 'Elmar U. K. Melcher' in Google

runs on WebDSL