Vérification des logiciels critiques pour la sécurité de l'avionique | DealShopping Deutschland
  1. Home
  2. Vérification des logiciels critiques pour la sécurité de l'avionique
  • #

Vérification des logiciels critiques pour la sécurité de l'avionique

39.90 EUR

Teilen:

Ähnliche Produkte

Vérification d'assemblages de composants logiciels: Application aux composants UML2.0

Vérification d'assemblages de composants logiciels: Application aux composants UML2.0

93.34 EUR
Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications (Omn.Univ.Europ.)

Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications (Omn.Univ.Europ.)

67.94 EUR
Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)

Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)

48.34 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
Qualité de Service Temporelle pour Composants Logiciels: Intégration et vérification au cours du développement, de la spécification au code

Qualité de Service Temporelle pour Composants Logiciels: Intégration et vérification au cours du développement, de la spécification au code

61.90 EUR
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