subjectheading:[Fault-tolerant computing] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Fault-tolerant computing]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Dependable computing -- EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings / Stefano Marrone, Marti[...] European Dependable Computing Conference (18th : 2022 : Zaragoza, Spain); Marrone,[...] Cham : Springer, 2022. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Dependable computing -- EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / Rasmus Adler, Amel [...] European Dependable Computing Conference (17th : 2021 : Online); Adler, Rasmus.; Ben[...] Cham : Springer, 2021. QA76.758 .D47 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Second NASA Formal Workshop 1992 : proceedings of a workshop / sponsored by the National Aeronautics and Space Administration, Washington, D.C.,[...] NASA Formal Methods Workshop (2nd : 1992); Johnson, Sally C.; Holloway, C. Michael.; B[...] Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1992] NAS 1.55: 10110 \| Detailed record - Similar records
4.	Dependable computing -- EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / Simona Ber[...] European Dependable Computing Conference (16th : 2020 : Online); Bernardi, Simona,[...] Cham, Switzerland : Springer, [2020] QA76.758 .D47 2020 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Fourth NASA Langley Formal Methods Workshop / compiled by C. Michael Holloway and Kelly J. Hayhurst. NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.); Holloway, C. Michael.; Hay[...] [Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center], 1997. NAS 1.55: 3356 \| Detailed record - Similar records
6.	Validation Methods for Fault-Tolerant Avionics and Control Systems : Working Group Meeting I : proceedings of a working group meeting held at [...] Validation Methods for Fault-Tolerant Avionics and Control Systems--Working Grou[...] Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service] , 1979. NAS 1.55: 2114 \| Detailed record - Similar records
7.	Validation methods research for fault-tolerant avionics and control systems sub-working group meeting : CARE III Peer Review : proceedings of a [...] Trivedi, Kishor Shridharbhai, 1946-; Clary, James B.; United States. National Aerona[...] Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Office ; [Springfield, Va. : For sale by the National Technical Information Service], 1980. QA76.9.A73 V35x \| Detailed record - Similar records
8.	Validation methods research for fault-tolerant avionics and control systems : working group meeting, II : proceedings of a working group mee[...] Gault, James W.; Trivedi, Kishor Shridharbhai, 1946-; Clary, James B.; United States. [...] Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Office ; [Springfield, Va. : for sale by the National Technical Information Service], 1980. TL678 .V34 \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.