CLEARSY
Know How
Thematics
Offers
Components
Tools
Research and development
Job offer
- Offres d’emploi
News
Contact-us

Made in France

News
CLEARSY
Job offer
R&D
Contact-us

Know How
Thematics
Offers
Components
Tools
References

Verification of the Coherence of the UML – ENST PA

CLEARSY > News > Exhibitions/conferences > Verification of the Coherence of the UML – ENST PA

20 July 2020

Share this article

linkedin
facebook
twitter

Presentation by CLEARSY on the verification of Statecharts with the B Method.

Previous article

Need a custom-made system ?

We are safety software and systems designers. Contact us and let's discuss your project together!

Filter posts

Aeronautics
Automotive
Company
Component
Computer science
Defense
Energy/nuclear
ERTMS
Exhibitions/conferences
Fire safety
Metro (CBTC)
Microelectronics
Offers
R&D
Railway
Safety
Tools
Uncategorized

CLEARSY safety solutions designer

Parc de la Duranne
320 Av. Archimède Les Pléiades III
13100 Aix-en-Provence

Newsletter

Email *

.

Consult our other sites

Atelier B, génie logiciel

Méthode B, méthode pour logiciels fiables

Legal information
Privacy policy
Webdesign : Studio Hulkette
Sitemap
Web development Matière 1ère

This website uses cookies. The information displayed is described as confidential. By continuing to browse, you are using cookies. Privacy policyAccept