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

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