Home | News | Company | Activities | Sectors | Sale Assistance | Our Projects | Conferences | Our Products and Training | Our Values | Employment | Newsletter | Contacts | Site Map |

Lambda Mu 15 Conference

Lille, 9 to 12 October 2006

Clearsy and the RATP co-authored the "Use of the Formal B Method for a SIL3 System: Landing Door Commands for Line 13 of the Paris subway" on the occasion of the Lambda Mu 15.

A mock-up of the system may be visited at our booth.

 

For more posters...

Also presented at our booth:

  • CompoSys: new System Modeling tool
  • Brama: new animation tool for formal system specifications
  • Coppilot: demonstration of the SIL 3 command control system for the landing doors on the Line 13 subway

 

Articles