Formal Verification of Data Provenance Records thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Formal Verification of Data Provenance Records

Published on Dec 10, 20123294 Views

Related categories

Chapter list

Formal Verification of Data Provenance Records00:00
Problem (1)00:11
Problem (2)02:35
Data provenance records03:03
Provenance Specification Logic03:38
Validation04:16
Summary04:33