Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
using the b method
Vertaling van "using the b method" in Frans
faisant appel à la méthode B
Anyone who wants to efficiently produce software using the B Method.
Toute personne désirant produire efficacement des logiciels en utilisant la méthode formelle B.
In this thesis, we focus on the verification of functional contracts using the B method.
Nous nous focalisons dans cette thèse sur la vérification des contrats fonctionnels en utilisant la méthode B.
ClearSy develops and distributes modelling and formal proof tools, using the B method.
CLEARSY développe et distribue des outils de modélisation et de preuve formelle, faisant appel à la méthode B.
For the Flushing line ClearSy completed the formal modeling of the system by using the B method, a method of construction, based on the B language, refinement, and mathematical proof.
Pour la ligne Flushing, ClearSy a réalisé la modélisation formelle du système en faisant appel à la méthode B, une méthode de construction, basée sur le langage B, le raffinement, et la preuve mathématique.
Accueil Expertise Formal methods B Method B Method Systerel is one of the leaders in using the B method to develop industrial critical systems.
Méthode B Systerel est l'un des leaders dans l'utilisation de la méthode B pour le développement de logiciels critiques dans un cadre industriel.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 95 ms.
