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.