Your search returned 25 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. Secure and Resilient Software Development.

by Merkow, Mark S | Raghavan, Lakshmikanth.

Material type: Text Text; Format: electronic available online remote Publisher: London : CRC Press, 2015Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.D47 -- M466 2010eb.
3. Reliability of Safety-Critical Systems : Theory and Applications

by Rausand, Marvin.

Material type: Text Text; Format: electronic available online remote Publisher: Hoboken : Wiley, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online TA169 .R375 2014.
4. Software Reliability : State of the Art Report 14:2

by Bendell, A | Mellor, P.

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 QA76.76.R44 S64 2014.
5. Software Reliability : State of the Art Report 14:2.

by Bendell, A | Mellor, P.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Kent : Elsevier Science, 2014Copyright date: ©1986Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 -- .S64 1986.
6. Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / Nabil Abdennadher, Fabrice Kordon (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland) | Abdennadher, Nabil | Kordon, Fabrice | Ada-Europe (Organization).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Ada-Europe 2007 | 12th Ada-Europe International Conference on Reliable Software Technologies | Twelfth Ada-Europe International Conference on Reliable Software Technologies.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 A33 2007.
7. Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.).

by TAP 2007 (2007 : Zurich, Switzerland) | Gurevich, Yuri | Meyer, Bertrand, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: TAP 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.T48 T37 2007.
8. 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.
9. 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.
10. Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers / Fabrice Kordon, Janos Sztipanovits (eds.).

by Kordon, Fabrice | Sztipanovits, Janos.

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.76.D47 R46 2007.
11. Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / Luboš Brim ... [et al.] (eds.).

by International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany) | Brim, Lubǒs | PDMC 2006 (2006 : Bonn, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: FMICS 2006 | PDMC 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F67 I594 2006.
12. The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007 / Felix Redmill and Tom Anderson, (eds.).

by Safety-Critical Systems Symposium (15th : 2007 : Bristol, England) | Redmill, Felix [edt] | Anderson, Tom, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online T55.A1 S225 2007.
13. Trust in technology : a socio-technical perspective / edited by Karen Clarke ... [et al.].

by Clarke, Karen (Karen M.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 T78 2006.
14. Software-implemented hardware fault tolerance / O. Goloubeva ... [et al.].

by Goloubeva, O. (Olga).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F38 S664 2006.
15. Developments in risk-based approaches to safety : proceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 / Felix Redmill and Tom Anderson (eds.).

by Safety-Critical Systems Symposium (14th : 2006 : Bristol, England) | Redmill, Felix | Anderson, Tom, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Springer, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online T55 .S2145 2006.
16. System software reliability / Hoang Pham.

by Pham, Hoang.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Springer, c2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.S95 P43 2006.
17. Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal) | Pinho, Luís Miguel | González Harbour, Michael, 1960-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: Ada-Europe 2006 | 11th Ada-Europe International Conference on Reliable Software Technologies | Eleventh Ada-Europe International Conference on Reliable Software Technologies.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 A44 2006.
18. Introduction to reliable distributed programming / Rachid Guerraoui, Luís Rodrigues.

by Guerraoui, Rachid | Rodrigues, Luís, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.D5 G82 2006.
19. Dependable systems : software, computing, networks : research results of the DICS program / Jürg Kohlas, Bertrand Meyer, André Schiper (eds.).

by Kohlas, Jürg, 1939- | Meyer, Bertrand, 1950- | Schiper, André, 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: DICS | Dependable information and communications systems.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.R44 D47 2006.
20. 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.