Del 14181Computer Safety, Reliability, and SecurityJérémie Guiochet, Stefano Tonetta, Friedemann BitschHäftad, 2023702 kr
Del 14182Computer Safety, Reliability, and Security. SAFECOMP 2023 WorkshopsJérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann BitschHäftad, 2023888 kr
Computer Safety, Reliability, and SecurityFriedemann Bitsch, Jérémie Guiochet, Mohamed KaânicheHäftad, 2013558 kr
Del 10489Computer Safety, Reliability, and SecurityStefano Tonetta, Erwin Schoitsch, Friedemann BitschHäftad, 2017558 kr
Del 9922Computer Safety, Reliability, and SecurityAmund Skavhaug, Jérémie Guiochet, Friedemann BitschHäftad, 2016558 kr
Del 13800Verified Software. Theories, Tools and Experiments.Akash Lal, Stefano TonettaHäftad, 2023558 kr
Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised SelectedAkash Lal, Stefano Tonetta644 kr
Del 10488Computer Safety, Reliability, and SecurityStefano Tonetta, Erwin Schoitsch, Friedemann BitschHäftad, 2017558 kr
Del 13415Computer Safety, Reliability, and Security. SAFECOMP 2022 WorkshopsMario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann BitschHäftad, 20221 108 kr
Del 9923Computer Safety, Reliability, and SecurityAmund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann BitschHäftad, 2016558 kr