en
0.25
0.5
0.75
1.25
1.5
1.75
2
Formal Verification of Data Provenance Records
Published on 2012-12-103304 Views
Related categories
Presentation
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