Your search returned 21 results. Subscribe to this search

|
1. Software Fault Detection and Correction.

by Peng, Rui | Li, Yan-Fu | Liu, Yu.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer, 2018Copyright date: ©2018Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5-76.95.
2. Reliable Computer Systems : Design and Evaluatuion (2nd Edition).

by Siewiorek, Daniel P | Swarz, Robert.

Edition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2017Copyright date: ©1992Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.5 -- .S537 1992.
3. Safety of Computer Control Systems : Proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979

by Lauber, R.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 .S24 2014.
4. Safety of Computer Control Systems 1992 (SAFECOMP' 92) : Computer Systems in Safety-Critical Applications

by Frey, H.H.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 .S239 2014.
5. Safety of Computer Control Systems 1990 (SAFECOMP'90) : Proceedings of the IFAC/EWICS/SARS Symposium Gatwick, UK, 30 October - 2 November 1990

by Daniels, B.K.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 .S239 2014.
6. Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems : Proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986

by Quirk, W. J.

Material type: Text Text; Format: electronic available online remote Publisher: Burlington : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 .I3394 2014.
7. Safety of Computer Control Systems : Proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979.

by Lauber, R.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Kent : Elsevier Science & Technology, 2014Copyright date: ©1980Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 -- .S24 1980.
8. Safety Aspects of Computer Control.

by Bennett, Phil.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Kent : Elsevier Science & Technology, 2014Copyright date: ©1993Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ223.M53 -- .S24 1993.
9. Safety of Computer Control Systems 1983 (Safecomp ' 83) : Achieving Safe Real Time Computer Systems.

by Baylis, J. A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Kent : Elsevier Science & Technology, 2014Copyright date: ©1983Online access: Click here to view book Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 -- .I338 1983.
10. Safety of Computer Control Systems 1990 (SAFECOMP'90) : Proceedings of the IFAC/EWICS/SARS Symposium Gatwick, UK, 30 October - 2 November 1990.

by Daniels, B. K.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Kent : Elsevier Science, 2014Copyright date: ©1990Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TJ212.2 -- .S239 1990.
11. Embedded Systems : Analysis and Modeling with SysML, UML and AADL

by Kordon, Fabrice | Hugues , J?r?me | Canals , Agusti | Dohet , Alain.

Material type: Text Text; Format: electronic available online remote Publisher: Hoboken : Wiley, 2013Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK7874 .K384 2013.
12. Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings / Francesca Saglietti, Norbert Oster (eds.).

by International Conference on Computer Safety, Reliability, and Security (26th : 2007 : Nuremberg, Germany) | Saglietti, F. (Francesca) | Oster, Norbert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: SAFECOMP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2007.
13. Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.).

by LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico) | Bondavalli, Andrea | Brasileiro, Francisco Vilar, 1965- | Rajsbaum, Sergio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F3 L33 2007.
14. Cooperative bug isolation : winning thesis of the 2005 ACM Doctoral Dissertation Competition / Ben Liblit.

by Liblit, Ben | Association for Computing Machinery.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .L5125 2007.
15. Trust management : proceedings of IFIPTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada / edited by Sandro Etalle, Stephen Marsh.

by IFIPTM 2007 (2007 : Moncton, N.B.) | Etalle, Sandro | Marsh, Stephen | IFIP WG 11.11.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 I35 2007.
16. Composition of embedded systems : scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers / Fabrice Kordon, Oleg Sokolsky (eds.).

by Monterey Workshop (13th : 2006 : Paris, France) | Kordon, Fabrice | Sokolsky, Oleg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TK7895.E42 M66 2006.
17. Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings / Janusz Gó́rski (ed.).

by International Conference on Computer Safety, Reliability, and Security | Górski, Janusz, 1948-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: SAFECOMP 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2006.
18. Rigorous development of complex fault-tolerant systems / Michael Butler ... [et al.] (eds.).

by Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England) | Butler, Michael, 1967- | International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: REFT 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 W67 2006.
19. Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings / Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.).

by European Dependable Computing Conference (5th : 2005 : Budapest, Hungary) | Dal Cin, Mario, 1940- | Kaaniche, Mohamed | Pataricza, András, 1954-.

Material type: Text Text; Format: available online remote Publisher: Berlin ; New York : Springer, c2005Other title: EDCC-5.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 E95 2005.
20. Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings / Rune Winther, Bjoern Axel Gran, Gustav Dahll (eds.).

by International Conference on Computer Safety, Reliability, and Security (24th : 2005 : Fredrikstad, Norway) | Winther, Rune | Gran, Bjørn Axel | Dahll, Gustav.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: SAFECOMP 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 S23 2005.