Functional specification and testing of digital systems
Ubar, Raimund-Johannes
Multimicroprocessor systems: Proceedings of the 3rd Symposium, Stralsund, oct. 16-20, 1989, Vol 1
1989
/
p. 207-217