Same 2005 Conference Exhibitions/conferences, Microelectronics

CLEARSY presented the R&D it is conducting with STMicroelectronics at the Same 2005 Conference and announces today that it will […]

Globalplatform card specification v2.1.1 Microelectronics

INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.