Checking experiments in sequential machines /

The theory and practice of reliable system design /
by: Siewiorek, Daniel P.
Published: (1982)

Reliable computer systems : design and evaluation /
by: Siewiorek, Daniel P.
Published: (1998)

Reliable computer systems : design and evaluation /
by: Siewiorek, Daniel P.
Published: (1992)

Digital electronics 3 : finite-state machines /
by: Ndjountche, Tertulien
Published: (2016)

Studies in feedback-shift-register synthesis of sequential machines /
by: Martin, Robert L. (Robert Lanham), 1942-
Published: (1969)

Digest of papers /
Published: (1978)

The Twenty-fifth International Symposium on Fault-Tolerant Computing : digest of papers ; June 27-30, 1995, Pasadena, California /
Published: (1995)

Applied computation theory : analysis, design, modeling /
by: Yeh, Raymond Tzuu-Yau, 1937-
Published: (1976)

Digital system design using FSMs : a practical learning approach /
by: Minns, Peter D.
Published: (2021)

Reliable computer systems : design and evaluation /
by: Siewiorek, Daniel P.
Published: (1992)

Dependable computing : EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /
Published: (2005)

Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings /
Published: (1994)

Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings /
Published: (2003)

Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
Published: (1996)

Dependable computing : second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /
Published: (2005)

Resilient computing systems /
Published: (1985)

Sequential logic : analysis and synthesis /
by: Cavanagh, Joseph
Published: (2007)

Digital logic and state machine design /
by: Comer, David J.
Published: (1984)

Fault tolerant and fault testable hardware design /
by: Lala, Parag K., 1948-
Published: (1985)

Asynchronous sequential switching circuits /
by: Unger, Stephen H., 1931-
Published: (1969)

Proceedings.
Published: (1992)

Asynchronous sequential machine design and analysis : a comprehensive development of the design and analysis of clock-independent state machines and systems /
by: Tinder, Richard F. (Richard Franchere), 1930-2011
Published: (2009)

Dependable and secure computing : 14th Latin-American Symposium, LADC 2025, Valparaíso, Chile, October 27-31, 2025 : proceedings /
Published: (2026)

Assessing fault model and test quality /
by: Butler, Kenneth M., 1962-
Published: (1992)

State diagrams of linear sequential machines /
by: English, Linda Sue
Published: (1977)

Foundations of dependable computing : paradigms for dependable applications /
Published: (1994)

Definition of programming languages by interpreting automata /
by: Ollongren, Alexander
Published: (1974)

Digital electronics /
by: Ndjountche, Tertulien
Published: (2016)

Journal of digital systems.

Sequential and parallel algorithms for minimum cost parallel decomposition of finite state machines /
by: Shelke, Rajendra Ram, 1967-
Published: (1992)

Computer system reliability : safety and usability /
by: Dhillon, B. S. (Balbir S.), 1947-
Published: (2013)

Handbook of finite state based models and applications /
Published: (2013)

Handbook of finite state based models and applications /
Published: (2013)

Post-digital electronics /
by: Pettit, F. R. (Francis R.), 1922-
Published: (1982)

Reliable computer systems : collected papers of the Newcastle Reliability Project /
Published: (1985)

Development and analysis of the software implemented fault-tolerance (SIFT) computer /
Published: (1984)