Amanote Research
Register
Sign In
Temporal Patterns for Document Verification
doi 10.29007/dclv
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Mirjana Jaksic
Burkhard Freitag
Publisher
EasyChair
Related search
Blockchain and Smart Contract for Digital Document Verification
International Journal of Engineering and Technology(UAE)
Architecture
Hardware
Engineering
Chemical Engineering
Biotechnology
Environmental Engineering
Computer Science
Verification of Temporal Properties
Property Specification Patterns for Finite-State Verification
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Temporal Program Verification Rules
RAIRO. Informatique théorique
Design Patterns for Spatio-Temporal Processes
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems
ACM Transactions on Software Engineering and Methodology
Software
Temporal Classification of Text and Automatic Document Dating