Future Built on Knowledge

#embedded systems


  • September 11, 2017
    Jeff Kramer at the SEFM conference organized by FBK
    The fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods.