H. Samsom, Frank H. M. Franssen, Francky Catthoor, Hugo De Man. System level verification of video and image processing specifications. In Pierre G. Paulin, Farhad Mavaddat, editors, Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France. pages 144-149, ACM, 1995. [doi]
Abstract is missing.