2004
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
[DOI]
Shinnosuke Yamaguchi
,
A. Nishino
,
Katsumi Wasaki
,
Yasunari Shidama
Proceedings of the 8th International Conference on Control, 2004