CLEARSY presented the R&D it is conducting with STMicroelectronics at the B2007 Conference, as well as its graphic modeling tool applied to formal B methods: Brama
This website uses cookies. The information displayed is described as confidential. By continuing to browse, you are using cookies. Privacy policyAccept
