CLEARSY


Conexões


picto-link
picto-6

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.

Mais informações
picto-8

COMPOSYS – www.composys.fr

Instrumento de concepção formal de arquitectura sistema.

Mais informações
picto-7

COPP – www.copp.fr

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

Mais informações
picto-1

BRAMA – www.brama.fr

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

Mais informações
picto-8

DOF1 – www.dof1.eu

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

Mais informações
picto-2

SEGURANÇA DE FUNCTIONAMENTO – www.surete-fonctionnementclearsy.com

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

Mais informações