Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik

Reliability Analysis of Fault-Tolerant Computer Architectures using Temporal Logic

K. D. Heidtmann

If the inline PDF is not rendering correctly, you can download the PDF file here.

Purchase article
Get instant unlimited access to the article.
Log in
Already have access? Please log in.

Log in with your institution

Journal + Issues

it - Information Technology is a strictly peer-reviewed scientific journal. It is the oldest German journal in the field of information technology. Today, the major aim of it - Information Technology is highlighting issues on ongoing newsworthy areas in information technology and informatics and their application. It aims at presenting the topics with a holistic view.