Free delivery for orders over 69.99€

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

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: 73.6 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

180 b

73.60 €

143.95 лв

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.

21.84 € 42.71 лв

Art of Philosophy Sloterdijk

Paperback

15.60 € 30.50 лв

Biographies of Great Men Meredith Jones

Hardback

36.87 € 72.12 лв

100 datos curiosos de transporte YOYO

Paperback

9.25 € 18.10 лв

Nazenin Güller

Paperback

13.70 € 26.80 лв

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

38.77 € 75.82 лв

Plan of the Elders: Book Two of the Hero High Trilogy: A Young Adult Fantasy Novel, Featuring Beings with Supernatural Powers and More! Vanessa Diaz

Paperback

13.75 € 26.90 лв

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

Paperback

10.22 € 20.00 лв

Nanoscope Stephen Winters-Hilt

Paperback

66.85 € 130.74 лв

Basic Physiology for Anaesthetists David Chambers

Paperback

85.06 € 166.36 лв

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

Hardback

26.59 € 52.01 лв

125% aller Hipster sind Waage Norbert Golluch

Paperback

7.00 € 13.70 лв

Bebuquin o Los diletantes del milagro Carl Einstein

Paperback

18.56 € 36.30 лв

Lo que el río lleva VICTOR PANICELLO MONTERDE

Paperback

11.20 € 21.90 лв

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

Hardback

19.18 € 37.51 лв

How to increase penis size?: By doing some exercising and masturbate properly Silva

Paperback

6.13 € 11.99 лв

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

Hardback

14.01 € 27.40 лв

I Am 'Mind' I Am 'Consciousness' Titus Joseph

Adobe ePub DRM

9.66 € 18.90 лв

Theoretische Elektrotechnik Marco Leone

Adobe ePub DRM

41.78 € 81.72 лв

American Royals IV: Reign McGee

Paperback

18.41 € 36.01 лв

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

Map

3.01 € 5.89 лв

Zimní bouře Karen Swan

Paperback

17.08 € 33.40 лв

Chronicles Of Dinah Lee Wright Volume 2 Stephannie Tallent

Adobe ePub DRM

5.11 € 9.99 лв

Puzzle Bluey 4v1 Game/Toy

Jigsaw puzzle

14.37 € 28.10 лв

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.