Abstractions of finite-state machines and immediately-detectable output faults

DOI10.1109/12.127444zbMath1395.68058OpenAlexW2152625808MaRDI QIDQ5375338

Kostas N. Oikonomou

Publication date: 14 September 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.127444

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Approximation algorithms (68W25) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: Abstractions of finite-state machines and immediately-detectable output faults