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

Wo zu kaufen (1) Eigenschaften

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

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

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

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

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

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

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