Future Built on Knowledge

#embedded systems


  • 11 Settembre 2017
    Jeff Kramer alla conferenza SEFM organizzata da FBK
    La quindicesima edizione si è tenuta a Trento dal 6 al 10 settembre e ha riunito i principali ricercatori e professionisti del mondo accademico, dell’industria e dell’amministrazione per far progredire lo stato dell’arte nei Formal Methods.