• Thaís Ussami's Seminar

    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

    The video of Philip Koopman giving the Toyota UA case study talk is on line:  ...

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web