2017

Certifications of Critical Systems - The CECRIS Experience

Bondavalli, Andrea



 

2014

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

SAFECOMP (Conference) (33rd : 2014 : Florence, Italy)

Cham : Springer, [2014]

 

2014

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

SAFECOMP (Conference) (33rd : 2014 : Florence, Italy)

Cham : Springer, [2014]

 

2016

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

Cham, Switzerland : Springer, 2016

 

2002

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

European Dependable Computing Conference (4th : 2002 : Toulouse, France)

Berlin ; New York : Springer, 2002

Request It 

2007

Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings

LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico)