Summary: Using Rewriting-Logic Notation for Funcional Verification
in Data-Stream Based Reconfigurable Computing
Reiner W. Hartenstein1
, Ricardo P. Jacobi2
1
Fachbereich Informatik
Kaiserslautern University of Technology
hartenst@rhhk.uni-kl.de
2
Depto. De Ciência da Computação
Universidade de Brasília
rjacobi@cic.unb.br
Maurício Ayala-Rincón3
, Carlos H. Llanos4
3
Departamento de Matemática
ayala@mat.unb.br
4
Departamento de Engenharia Mecânica
llanos@unb.br

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics