Amanote Research

Amanote Research

    RegisterSign In

Temporal Patterns for Document Verification

doi 10.29007/dclv
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
Mirjana JaksicBurkhard Freitag
Publisher

EasyChair


Related search

Blockchain and Smart Contract for Digital Document Verification

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Verification of Temporal Properties

1994English

Property Specification Patterns for Finite-State Verification

1998English

Temporal Verification by Diagram Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

On Temporal Program Verification Rules

RAIRO. Informatique théorique
1985English

Design Patterns for Spatio-Temporal Processes

1998English

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2007English

Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems

ACM Transactions on Software Engineering and Methodology
Software
2011English

Temporal Classification of Text and Automatic Document Dating

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy