Publication:

Formal Verification and Transformation of Video and Image Specifications

Date

1995-10
Dissertation
Simple item page Full metadata Statistics
 
dc.contributor.authorSamsom, Hans
dc.contributor.imecauthorSamsom, Hans
dc.date.accessioned2021-09-29T13:16:07Z
dc.date.available2021-09-29T13:16:07Z
dc.date.issued1995-10
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/850
dc.title

Formal Verification and Transformation of Video and Image Specifications

dc.typePHD thesis
dspace.entity.typePublication
Files
Publication available in collections:
Dissertations