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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Aradhya, Chiranjeevi: Vérification des logiciels critiques pour la sécurité de l'avionique
averdo DE
30.06 EUR
Preis aktualisiert am: 20-12-2024 07:13:19
Siehe Produktangebot
Gesponsert
Vérification des logiciels critiques pour la sécurité de l'avionique
Medimops DE
39.34 EUR
Preis aktualisiert am: 20-12-2024 07:13:19
Siehe Produktangebot
Gesponsert
Vérification des logiciels critiques pour la sécurité de l'avionique, Ratgeber von Chiranjeevi Aradhya
Galaxus.de
39.90 EUR
Preis aktualisiert am: 04-12-2025 14:36:32
Siehe Produktangebot

Allgemein

Marke
Chiranjeevi Aradhya

Eigenschaften

Ähnliche Produkte

Vérification et validation formelles de modèles UML: Approches et outils
Vérification et validation formelles de modèles UML: Approches et outils
Produkt anzeigen
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
Produkt anzeigen
Kmimech, M: Vérification d'assemblages de composants logicie: Application aux composants UML2.0
Kmimech, M: Vérification d'assemblages de composants logicie: Application aux composants UML2.0
Produkt anzeigen
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.)
Produkt anzeigen
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
Produkt anzeigen
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.)
Produkt anzeigen
Menü