DOI10.1007/978-3-030-02508-3_19MaRDI QIDQ1623146
Y. Aharonov
Publication date: 23 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_19
zbMATH Keywords
fault detection; constraint solving; fault modeling; checking sequence; extended FSM; symbolic input/output FSM
Mathematics Subject Classification ID
68Qxx: Theory of computing