Search Results for Computer software -- Reliability -- Congresses.

11 Results Found

00000000000MAIN

The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007

Safety-Critical Systems Symposium. (15th : 2007 : Bristol, England)

Author

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

Format:

Call Number

T55.A1 S234 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9781846288050 9781846288067

View Fulltext

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings

SAFECOMP 2007 (2007 : Nuremberg, Germany)

Author

SAFECOMP 2007 (2007 : Nuremberg, Germany), Saglietti, Francesca, Oster, Norbert, SpringerLink (Online service)

Format:

Call Number

EB 001370

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540751014

http://dx.doi.org/10.1007/978-3-540-75101-4

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

TAP 2007 (2007 : Zurich, Switzerland)

Author

TAP 2007 (2007 : Zurich, Switzerland), Gurevich, Yuri., Meyer, Bertrand., SpringerLink (Online service)

Format:

Call Number

EB 001295

Publication Date

2007

ISBN

9783540737704

http://dx.doi.org/10.1007/978-3-540-73770-4

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings

Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings

Abdennadher, Nabil

Author

Abdennadher, Nabil, Abdennahder, Nabil, Kordon, Fabrice

Format:

Call Number

QA76.76.R44 A33 2007

Publisher

Springer,

Publication Date

2007

ISBN

9783540732297

Fulltext

Available:
Holds:
Copies:

Cover image for Software architectures, components and applications : third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007 : revised selected papers

Software architectures, components and applications : third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007 : revised selected papers

International Conference on quality of software architetures, QoSA2007, (3th. : July, 2007 : Medford, MA, USA)

Author

International Conference on quality of software architetures, QoSA2007, (3th. : July, 2007 : Medford, MA, USA), Overhage, Sven

Format:

Call Number

QA76 S636 2007

Publisher

Springer-Verlag,

Publication Date

2007

ISBN

9783540776178

Available:
Holds:
Copies:

In-vehicle networks and software, electrical wiring harnesses, and electronics and systems reliability

SAE 2004 World Congress (2004 : Detroit, Mich)

Author

SAE 2004 World Congress (2004 : Detroit, Mich), Society of Automotive Engineers

Format:

Call Number

TL272.5 A23 2004

Publisher

Society of Automotive Engineers,

Publication Date

2004

ISBN

9780768013887

Available:
Holds:
Copies:

Safer systems

Redmill, Felix

Author

Redmill, Felix, Anderson, Thomas, Safety-Critical Systems Symposium (5th : 1997 : Brighton)

Format:

Call Number

T55.A1 S23 1997

Publisher

Springer-Verlag,

Publication Date

1997

ISBN

9783540761341

Available:
Holds:
Copies:

Measurement for software control and assurance

Kitchenham, B. A.

Author

Kitchenham, B. A., Littlewood, B.

Format:

Call Number

QA76.76.Q35 M43 1987

Publisher

Elsevier Applied Science,

Publication Date

1989

ISBN

9781851662463

Available:
Holds:
Copies:

Reliability and robustness of engineering software

Brebbia, C. A.

Author

Brebbia, C. A., Keramidas, G. A.

Format:

Call Number

TA345 R44 1987

Publisher

Elsevier,

Publication Date

1987

ISBN

9780444989482

Available:
Holds:
Copies:

10.

Reliable software : proceedings

International Conference on Reliable Software (1975 : Los Angeles)

Author

International Conference on Reliable Software (1975 : Los Angeles), IEEE Computer Society

Format:

Call Number

TK7885.A1 I59 1975 f

Publisher

[Institute of Electrical and Electronics Engineers],

Publication Date

1975

Available:
Holds:
Copies:

11.

New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Thirteenth SoMet_14

International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_14), (Thirteenth : September 2014 : Langkawi, Malaysia), host body

Author

International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_14), (Thirteenth : September 2014 : Langkawi, Malaysia), host body, Fujita, Hamido, editor, Ali Selamat, editor, Habibollah Haron, editor

Format:

Call Number

QA76.758 N49 2003 a

ISBN

9781614994336

Available:
Holds:
Copies:

	{displayName}	{count}
{error}