Your search returned 14 results. Subscribe to this search

|
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. Quality of software architectures : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeraas, Sweden, June 27-29, 2006 : revised papers / Christine Hofmeister, Ivica Crnkovic, Ralf Reussner (eds.).

by International Conference on the Quality of Software Architectures (2nd : 2006 : Västerås, Sweden) | Hofmeister, Christine | Crnkovic, Ivica | Reussner, Ralf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: International Conference on the Quality of Software Architectures | QoSA 2006.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.Q35 I562 2006.
12. Constituents of modern system-safety thinking : proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Felix Redmill and Tom Anderson, editors.

by Safety-Critical Systems Symposium (13th : 2005 : Southampton, England) | Redmill, Felix | Anderson, Tom, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Springer, c2005Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online T55 .S2145 2005.
13. Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, England) | Vardanega, T. (Tullio) | Wellings, Andrew J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2005Other title: Ada-Europe 2005 | 10th Ada-Europe International Conference on Reliable Software Technologies | Tenth Ada-Europe International Conference on Reliable Software Technologies | 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 2005.
14. 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.