1. Home
  2. Medien
  3. Bücher
  4. Vérification et validation formelles de modèles UML: Approches et outils
  • #

Vérification et validation formelles de modèles UML: Approches et outils

69.00 EUR

Teilen:
Gesponsert

Vérification et validation formelles de modèles UML, Fachbücher

Galaxus.de
69.00 EUR
27-04-2026 18:08:14

Ähnliche Produkte

Je pratique la métrologie : Validation

Je pratique la métrologie : Validation - Vérification - Acceptation: Les aspects "qualité" de la mesure : validation des méthodes de mesure, ... et moyens d'acceptation des valeurs mesurées

36.54 EUR
Traité de la Noblesse Et de Son Origine: Suivant les Prejugez Rendus par les Commissaires Députez pour la Vérification des Titres de Noblesse

Traité de la Noblesse Et de Son Origine: Suivant les Prejugez Rendus par les Commissaires Députez pour la Vérification des Titres de Noblesse

26.82 EUR
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits

Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits

69.00 EUR
Contribution à l'analyse de testabilité des Systèmes Réactifs: Aide à la Validation et à la Vérification de Systèmes Critiques Avioniques

Contribution à l'analyse de testabilité des Systèmes Réactifs: Aide à la Validation et à la Vérification de Systèmes Critiques Avioniques

79.00 EUR
Elaboration d'une méthodologie de vérification de performance: La vérification de performance à l'Institution Supérieure de Contrôle des finances ...

Elaboration d'une méthodologie de vérification de performance: La vérification de performance à l'Institution Supérieure de Contrôle des finances ... - Théorie et pratique

39.00 EUR
Interaction Homme-Machine: Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine

Interaction Homme-Machine: Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine

59.00 EUR