Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 /
| Corporate Author: | FTRTFT 2000 Pune, India |
|---|---|
| Other Authors: | Joseph, M. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2000]
|
| Series: | Lecture notes in computer science ;
1926. |
| Subjects: |
Similar Items
Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /
Published: (1998)
Published: (1998)
Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings /
Published: (2002)
Published: (2002)
Formal techniques in real-time and fault-tolerant systems /
Published: (1993)
Published: (1993)
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /
Published: (1991)
Published: (1991)
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /
Published: (1994)
Published: (1994)
Fault-tolerant real-time systems : the problem of replica determinism /
by: Poledna, Stefan, 1963-
Published: (1996)
by: Poledna, Stefan, 1963-
Published: (1996)
A generic fault-tolerant architecture for real-time dependable systems /
Published: (2001)
Published: (2001)
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings /
Published: (1996)
Published: (1996)
Fault-tolerant real-time systems : the problem of replica determinism /
by: Poledna, Stefan, 1963-
Published: (1996)
by: Poledna, Stefan, 1963-
Published: (1996)
Fault-free validation of a fault-tolerant multiprocessor : baseline experiments and workload implementation /
by: Feather, Frank
Published: (1986)
by: Feather, Frank
Published: (1986)
Fault tolerant computing : the 1989 Joint Symposium on Fault-Tolerant Computing, July 18-20, 1989, Chongqing University, Chongqing, China.
Published: (1989)
Published: (1989)
Fault-tolerant computing : theory and techniques /
Published: (1986)
Published: (1986)
Fault-tolerant real-time systems : the problem of replica determinism /
by: Poledna, Stefan, 1963-
Published: (1996)
by: Poledna, Stefan, 1963-
Published: (1996)
Fault tolerance, principles and practice /
by: Anderson, T.
Published: (1981)
by: Anderson, T.
Published: (1981)
Patterns for fault tolerant software /
by: Hanmer, Robert S.
Published: (2007)
by: Hanmer, Robert S.
Published: (2007)
Fault tolerant computer architecture /
by: Sorin, Daniel J.
Published: (2009)
by: Sorin, Daniel J.
Published: (2009)
Diagnosis and fault-tolerant control.
Published: (2021)
Published: (2021)
Diagnosis and fault-tolerant control.
Published: (2021)
Published: (2021)
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
Published: (2004)
Published: (2004)
Conference on Control and Fault-Tolerant Systems : [proceedings].
Software fault tolerance techniques and implementation /
by: Pullum, Laura L.
Published: (2001)
by: Pullum, Laura L.
Published: (2001)
Fault tolerance design and redundancy management techniques.
Published: (1980)
Published: (1980)
Data-driven design of fault diagnosis and fault-tolerant systems /
by: Ding, Steven X.
Published: (2014)
by: Ding, Steven X.
Published: (2014)
Empirical timing analysis of CPUs and delay fault tolerant design using partial redundancy /
by: Chang, Sanghoan
Published: (2010)
by: Chang, Sanghoan
Published: (2010)
Hardware and software architectures for fault tolerance : experiments and perspectives /
Published: (1994)
Published: (1994)
The Fault-tolerant multiprocessor computer /
Published: (1986)
Published: (1986)
Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processor /
by: Lanning, David T.
Published: (1987)
by: Lanning, David T.
Published: (1987)
Fault-tolerant systems /
by: Koren, Israel, 1945-, et al.
Published: (2021)
by: Koren, Israel, 1945-, et al.
Published: (2021)
Fault tolerance of hypercubes using spanning trees /
by: Al-Tawil, K. M. (Khalid M.)
Published: (1993)
by: Al-Tawil, K. M. (Khalid M.)
Published: (1993)
Fault tolerant broadcasting algorithms in SIMD hypercubes /
by: Chang, Yeimkuan
Published: (1993)
by: Chang, Yeimkuan
Published: (1993)
Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)
by: Koren, Israel, 1945-
Published: (2007)
Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)
by: Koren, Israel, 1945-
Published: (2007)
Software-implemented hardware fault tolerance /
Published: (2006)
Published: (2006)
Fault tolerant system design /
by: Levi, Shem-Tov
Published: (1994)
by: Levi, Shem-Tov
Published: (1994)
Fault-tolerant distributed computing /
Published: (1990)
Published: (1990)
Hardware and software architectures for fault tolerance : experiences and perspectives /
Published: (1994)
Published: (1994)
A software tool for evaluating software-implemented fault tolerance techniques /
by: Tapadiya, Pradeep K. (Pradeep Kumar), 1964-
Published: (1993)
by: Tapadiya, Pradeep K. (Pradeep Kumar), 1964-
Published: (1993)
Software fault tolerance : achievement and assessment strategies /
Published: (1992)
Published: (1992)
Fault-tolerant fiber optic backplane /
by: Palumbo, Daniel L.
Published: (1992)
by: Palumbo, Daniel L.
Published: (1992)
A multi-staged software design approach for fault tolerance /
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1993)
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1993)