Archivi del Blog

Toyota UA case study

The video of Philip Koopman giving the Toyota UA case study talk is on line: http://betterembsw.blogspot.com/2014/09/a-case-study-of-toyota-unintended.html

The photo gallery is online

Workshops September 10th September 11th September 12th

Final Program is online

Program at a Glance September 8 (Monday), 2014: ISSE workshop: Auditorium al Duomo Florence – “Donatello room” – Via de Cerretani 54/r – Firenze DEVVARTS workshop: Palazzo Coppini – “Komech room”, Via del Giglio, 10 – Firenze ASCoMS workshop: Palazzo

Registration is open

The registration form is now available at http://www.safecomp2014.unifi.it/registration/registration-form.html There are 4 possible types of registration: 1 Workshop, either on Monday September 8th or on Tuesday September 9th 2 Workshops, one on Monday September 8th and another on Tuesday September 9th

Workshops CfPs are online

The following workshops will be co-located with the SAFECOMP 2014 conference. September 8 (Monday), 2014: ISSE: International workshop on the Integration of Safety and Security Engineering DEVVARTS: DEvelopment, Verification and VAlidation of cRiTical Systems ASCoMS: Workshop on Architecting Safety in