Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 27292 HUF
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

186 b

27 292 Ft

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.

7 400 Ft

Art of Philosophy Sloterdijk

Paperback

6 156 Ft

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

Hardback

7 400 Ft

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

Hardback

4 765 Ft

American Royals IV: Reign McGee

Paperback

6 785 Ft

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

binding.

850 Ft

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

Audio CD

17 147 Ft

100 datos curiosos de transporte YOYO

Paperback

3 180 Ft

Nazenin Güller

Paperback

5 070 Ft

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

14 979 Ft

Chronicles Of Dinah Lee Wright Volume 2 Stephannie Tallent

Adobe ePub DRM

1 761 Ft

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

Paperback

3 956 Ft

Nanoscope Stephen Winters-Hilt

Paperback

25 841 Ft

Basic Physiology for Anaesthetists David Chambers

Paperback

32 686 Ft

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

Hardback

10 288 Ft

Bebuquin o Los diletantes del milagro Carl Einstein

Paperback

6 420 Ft

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

Hardback

12 664 Ft

Path to Rainbow Body - Introduction to Yuthok Nyingthig Nida Chenagtsang

Paperback

6 096 Ft

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

Paperback

8 661 Ft

Comic and Sentimental Music Hall Song Book. Anonymous

Paperback

7 330 Ft

Glaucoma: Decision Making in Therapy M. G. Bucci

Paperback

19 902 Ft

Dangerous Pity Elizabeth Wassell

Paperback

7 284 Ft

Spiritual Lives of Bereaved Parents Dennis E. Klass

Paperback

23 451 Ft

Spatial Humanities David J. Bodenhamer

Paperback

11 287 Ft

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.