Produtos e Formações


picto-produits6

ATELIER B – www.atelierb.eu

Instrumento industrial permitindo a utilização operacional do método B para desenvolvimentos “software” provados.
Uma formação está disponível para compreender, e praticar B.

picto-produits5

BRAMA – www.brama.fr

Instrumento de modelização gráfico aplicado aos métodos formais B.

picto-produits4

COMPOSYS – www.composys.fr

Instrumento de concepção formal de arquitectura sistema.me.

picto-produits6

Segurança de funcionamento
www.surete-fonctionnementclearsy.com

Blog de ClearSy. Apresentação da segurança de funcionamento e os seus desafios.

picto-produits7

COPP – www.copp.fr

Portas de plataforma da Estação Paris-Châtillon.

picto-produits6

FERSIL – www.fersil-railway.com

A oferta de Clearsy no domínio do caminho de ferro.

picto-produits8

DOF1 – www.dof1.eu

Dispositivo de Abertura e fechamento das portas de plataforma linha 1, SIL3.