Couverture de Expression et validation des exigences de sécurité
Titre du livre:

Expression et validation des exigences de sécurité

Exemple de mise en oeuvre dans les systèmes critiques à base de logiciel

Editions universitaires europeennes (15-03-2011 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-613-1-56821-3

ISBN-10:
6131568219
EAN:
9786131568213
Langue du livre:
Français
texte du rabat:
Ce livre est la reprise de la thèse que j'ai présenté en 2006 et qui est le résultat de plusieurs années de recherches et de développements. Cette thèse n'aurait certainement jamais vu le jour si je n'avais pas bénéficié des conseils avisés, du soutien, des discussions enrichissantes et de l'aide constante d'un grand nombre de personnes qu'il ne m'ait pas possible de citer mais que je remercie.
Maison d'édition:
Editions universitaires europeennes
Site Web:
http://www.editions-ue.com/
de (auteur) :
Jean-Louis Boulanger
Numéro de pages:
224
Publié le:
15-03-2011
Stock:
Disponible
Catégorie:
Informatique, IT
Prix:
69.00 €
Mots-clés:
Exigence, méthode formelle, model-checking, preuve, Tests, Verification, Validation, Exigences, méthodes formelles, model checking, Épreuves, tests, Vérification.

Books loader

Lettre d'information

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING