Jump to main content

yr 〜
yr

Search results 9

Computer safety, reliability, and security : 33rd international conference, SAFECOMP 2014 : Florence, Italy, September 10-12, 2014 : proceedings : SAFECOMP workshops : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8666)

Computer safety, reliability, and security : 33rd international conference, SAFECOMP 2014 : Florence, Italy, September 10-12, 2014 : proceedings : SAFECOMP workshops : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8666)
Paper図書
Springer[2014]<M17-15-1483>
National Diet Library
  • Author Heading...orence, Italy) Bondavalli, Andrea. Di Giandomenico, Felicita.

Computer safety, reliability, and security : SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR : Florence, Italy, September 8-9, 2014 : proceedings : SAFECOMP conference 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8696)

Computer safety, reliability, and security : SAFECOMP 2014 workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR : Florence, Italy, September 8-9, 2014 : proceedings : SAFECOMP conference 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8696)
Paper図書
Springer[2014]<M17-15-1596>
National Diet Library
  • Author Heading...orence, Italy) Bondavalli, Andrea. Ceccarelli, Andrea. Ortmeier,...

Dependable computing : third Latin-American symposium, LADC 2007 : Morelia, Mexico, September 26-28, 2007 : proceedings. : Latin-American dependable computing conference : 3rd Latin American symposium on dependable computing : Sep 2007, Morelia, Mexico. (Lecture Notes in Computer Science ; 4746)

Dependable computing : third Latin-American symposium, LADC 2007 : Morelia, Mexico, September 26-28, 2007 : proceedings. : Latin-American dependable computing conference : 3rd Latin American symposium on dependable computing : Sep 2007, Morelia, Mexico. (Lecture Notes in Computer Science ; 4746)
Paper図書
Springerc2007.<M17-08-1916>
National Diet Library
  • Author Heading...oma de Mexico. Bondavalli, Andrea. Brasileiro, Francisco Vilar, ...

Cyber-physical systems of systems : foundations - a conceptual model and some derivations : the AMADEOS legacy : pbk

Cyber-physical systems of systems : foundations - a conceptual model and some derivations : the AMADEOS legacy : pbk
Paper図書
Andrea Bondavalli ... [et al.], editorsSpringer[c2016]
Other Libraries in Japan

Computer safety, reliability, and security : SAFECOMP 2014 Workshops : ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9 2014, proceedings : pbk

Computer safety, reliability, and security : SAFECOMP 2014 Workshops : ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9 2014, proceedings : pbk
Paper図書
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (eds.)Springerc2014
Other Libraries in Japan

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Itary, September 10-12, 2014 : proceedings : pbk

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Itary, September 10-12, 2014 : proceedings : pbk
Paper図書
Andrea Bondavalli, Felicita Di Giandomenico (eds.)Springerc2014
Other Libraries in Japan

Dependable computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings

Dependable computing : Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings
Paper図書
Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.)Springerc2007
Other Libraries in Japan

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
Paper図書
Andrea Bondavalli, Pascale Thevenod-Fosse (eds.)Springerc2002
Other Libraries in Japan

Certifications of Critical Systems – The CECRIS Experience

Certifications of Critical Systems – The CECRIS Experience
Digital電子書籍・電子雑誌図書
Available onlineNational Diet Library

Reached to the end of result.

RSS