Work

A Feasibility Framework for Temporal and Conditional Consistency Checking of Sequential Chain-of-Causation Annotations

Year: 2026

Type: article

Source: The Transactions of The Korean Institute of Electrical Engineers

DOI: 10.5370/kiee.2026.75.11.2969

Author: Jin-Hyun Kim

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7225577082

FWCI:

Cites:

Cited by:

Related to: 10