Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Contribution l''analyse de Testabilit Des Syst mes R actifs

Name: Contribution l''analyse de Testabilit Des Syst mes R actifs
Brand: Omniscriptum
SKU: 06920779
Price: 70.4 EUR
Availability: InStock
Author: Fassely Doumbia
ISBN: 9786131514043

Fassely Doumbia

Language

French

Book Paperback

Libristo code: 06920779

Publishers Omniscriptum, February 2018

Les phases de validation et de vérification (V&V) des systčmes réactifs critiques sont trčs importan... Full description

Libristo code: 06920779

170 b

70.40 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Český hraný film III. / Czech Feature Film III.

binding.

20.83 €

Art of Philosophy Sloterdijk

Paperback

15.77 €

?Puede Pedro el Puercoespin controlar su mal genio? Misty Black

Hardback

19.41 €

Hraničářův učeň Souboj na Araluenu John Flanagan

Hardback

13.44 €

American Royals IV: Reign McGee

Paperback

19.11 €

Česko - vlastivědná mapa, 1 : 1 100 000 / obrysová mapa / 46 x 32 cm

binding.

2.32 €

Solutions: Intermediate: Class Audio CDs (3 Discs) Tim Falla; P.A. Davies

Audio CD

48.34 €

100 datos curiosos de transporte YOYO

Paperback

8.99 €

Nazenin Güller

Paperback

13.14 €

Testimony Taken Before the Joint Committee of the Senate and Assembly of the State of New York: To Investigate and Examine Into the Business and Affai New York (State) Legislature Joint Com

Paperback

39.24 €

Chronicles Of Dinah Lee Wright Volume 2 Stephannie Tallent

Adobe ePub DRM

4.95 €

Slitherlink Logic Puzzles: 500 Easy to Hard: : Keep Your Brain Young Khalid Alzamili

Paperback

10.31 €

Nanoscope Stephen Winters-Hilt

Paperback

67.56 €

Crowded Volume 2 Christopher Sebela

Paperback

13.54 €

Basic Physiology for Anaesthetists David Chambers

Paperback

85.77 €

Thirty Scots Songs Adapted for a Voice & Harpsichord. by Robert Bremner. the Words by Allan Ramsay. ... of 2; Volume 1 ALLAN RAMSAY

Hardback

26.90 €

Complete Poems of Sir John Davies John Davies

Paperback

20.52 €

Bebuquin o Los diletantes del milagro Carl Einstein

Paperback

18.10 €

Criss + Cross: Design from Switzerland 1860-2007 Ariana Pradal

Hardback

35.70 €

Russische Wirtschaft im XX. Jahrhundert Maria Knuttel

Paperback

22.45 €

Path to Rainbow Body - Introduction to Yuthok Nyingthig Nida Chenagtsang

Paperback

16.07 €

Cardinal Sin; A Story, by Hugh Conway (F. J. F.). Frederick Fargus

Paperback

22.24 €

Comic and Sentimental Music Hall Song Book. Anonymous

Paperback

19.21 €

Glaucoma: Decision Making in Therapy M. G. Bucci

Paperback

51.68 €

Les phases de validation et de vérification (V&V) des systčmes réactifs critiques sont trčs importantes en termes de coűt et de temps. Dans ce contexte, toute méthode et outil permettant d'aider ŕ la réalisation des activités de V&V est d'une trčs grande importance. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites (problčme d'exhaustivité lié ŕ la taille et ŕ la complexité des systčmes). De ce fait, les enjeux de la maîtrise de l'effort de test (complexité et coűt) sont majeurs, mais les exigences de qualité pour ces systčmes sont trčs grandes. Dans cette optique, deux méthodologies, basées sur les concepts d'analyse de testabilité et les stratégies de test, ont été définies. La premičre méthodologie permet d'aider ŕ la définition de jeux de test pertinents et ŕ l'analyse de couverture des systčmes spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide ŕ la vérification (identification de tests pertinents et localisation de composants défectueux au cours du diagnostic) de systčmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.