en
0.25
0.5
0.75
1.25
1.5
1.75
2
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