1
Material Type:
Livro
Safety-critical computer systems
Neil Storey
Harlow, England Addison-Wesley Reading, Mass. c1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68M30.01 S884sc e.1 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
SafeWare system safety and computers
Nancy Leveson
Reading, Mass. Addison-Wesley c1995
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.415.52 L577s e.2 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Computer safety, reliability and security 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings
International Conference on Computer Safety, Reliability, and Security (19th 2000 Rotterdam, Netherlands) Floor Koornneef 1950-; Meine van der Meulen 1964-
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1943 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Computer safety, reliability, and security 23rd International Conference, SAFECOMP 2004
International Conference on Computer Safety, Reliability, and Security (23rd 2004 Potsdam, Germany) Maritta Heisel; Peter Liggesmeyer; Stefan Wittmann
Berlin Springer London 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3219 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Computer safety, reliability, and security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
SAFECOMP 2002 (2002 Catania, Italy) Stuart Anderson 1952-; Sandro Bologna; Massimo Felici 1973-
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2434 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Computer safety, reliability, and security 26th international conference, SAFECOMP 2007 Nuremberg, Germany, September 18-21, 2007 : proceedings
SAFECOMP 2007 (2007 Nuremberg, Germany) F Saglietti (Francesca); Norbert Oster
Berlin Springer New York 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4680 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Computer safety, reliability and security 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
International Conference on Computer Safety, Reliability, and Security (20th 2001 Budapest, Hungary) U Voges 1946- (Udo)
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2187 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Computer safety, reliability, and security 24th international conference, SAFECOMP 2005, Fredrikstad, Norway September 28-30, 2005 : proceedings
International Conference on Computer Safety, Reliability, and Security (24th 2005 Fredrikstad, Norway) Rune Winther; Bj rn Axel Gran; Gustav Dahll
Berlin Springer New York 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3688 ) e outros locais(Acessar)
This feature requires javascript