Filter  MonthJanFebMarAprMayJunJulAugSepOctNovDec Year20002001200220032004200520062007200820092010 5101520253050100All Filter

• Thaís Ussami's Seminar

  Announcements

  Created: Friday, 17 October 2014 14:02

  Thaís Ussami, from Universidade Estadual de Campinas, Campinas - São Paulo, Brazilis, is now seconded at Department of Mathematics and Informatics of University of Florence, in the context of the research project DEVASSES (DEsign, Verification and VAli...

• Toyota UA case study

  Announcements

  Created: Friday, 17 October 2014 13:28

  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  ...