by
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
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
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
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
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
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
Abdennadher, Nabil
Author
Abdennadher, Nabil, Abdennahder, Nabil, Kordon, Fabrice
Format:
Call Number
QA76.76.R44 A33 2007
Publisher
Springer,
Publication Date
2007
ISBN
9783540732297
Holds:
Copies:
by
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
Holds:
Copies:
by
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
Holds:
Copies:
by
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
Holds:
Copies:
by
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
Holds:
Copies:
by
Brebbia, C. A.
Author
Brebbia, C. A., Keramidas, G. A.
Format:
Call Number
TA345 R44 1987
Publisher
Elsevier,
Publication Date
1987
ISBN
9780444989482
Holds:
Copies:
by
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
Holds:
Copies:
by
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
Holds:
Copies: