scientific article
From MaRDI portal
Publication:2766635
zbMath0986.68584MaRDI QIDQ2766635
Sandeep S. Kulkarni, Anish Arora
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (9)
Facilitating the design of fault tolerance in transaction level SystemC programs ⋮ Combining decomposition and reduction for state space analysis of a self-stabilizing system ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Model-based construction and verification of critical systems using composition and partial refinement ⋮ Automation of fault-tolerant graceful degradation ⋮ Weakest Invariant Generation for Automated Addition of Fault-Tolerance ⋮ Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice ⋮ Synthesis of Fault-Tolerant Distributed Systems ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states
This page was built for publication: