ARTICLE
|
doi:10.20944/preprints202410.1921.v1
Subject:
Computer Science And Mathematics,
Computational Mathematics
Keywords:
Quality function; Quality predicate; QFCTL; QFCTL*; Model checking
Online: 24 October 2024 (12:36:37 CEST)