Vérification formelle du FDIR dans les réseaux intelligents: DE | DealShopping Deutschland
  1. Home
  2. Vérification formelle du FDIR dans les réseaux intelligents: DE
  • #
  • #

Vérification formelle du FDIR dans les réseaux intelligents: DE

55.90 EUR

Teilen:

Ähnliche Produkte

Boughareb, Djalila: Méthodes formelles pour le parallélisme

Boughareb, Djalila: Méthodes formelles pour le parallélisme

39.90 EUR
Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants

Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants

75.84 EUR
Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

51.15 EUR
Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.)

Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.)

48.31 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
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