Runtime verification of cause–effect latency in black-box systems

Information and Software Technology 2026 Open access

Read full text

Authors: Yong-Jun Shin

DOI: 10.1016/j.infsof.2026.108172

Cited by: 1

References: 13

Fields of Study & Subjects

Formal Methods in Verification Software System Performance and Reliability Security and Verification in Computing

References 13