![](/img/cover-not-exists.png)
[IEEE 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Singapore, Singapore (2008.10.12-2008.10.15)] 2008 IEEE International Conference on Systems, Man and Cybernetics - Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches
Rodrigues, Cassio L., Morais, Fabio J., Silva, Leandro M. L., da Silva, Karina R. G., de Figueiredo, Jorge C. A., Guerrero, Dalton D. S., Melcher, ElmarYear:
2008
Language:
english
DOI:
10.1109/icsmc.2008.4811600
File:
PDF, 379 KB
english, 2008