Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1602 CZK
Availability: InStock
Author: Fassely Doumbia
ISBN: 9786131514043

Fassely Doumbia

Jazyk

Francouzština

Kniha Brožovaná

Libristo kód: 06920779

Nakladatelství Omniscriptum, únor 2018

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

Libristo kód: 06920779

160 b

1 602 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

binding.

487 Kč

Art of Philosophy Sloterdijk

Brožovaná

358 Kč

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

Brožovaná

903 Kč

125% aller Hipster sind Waage Norbert Golluch

Brožovaná

169 Kč

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

Pevná

619 Kč

Basic Physiology for Anaesthetists David Chambers

Brožovaná

1 884 Kč

Nanoscope Stephen Winters-Hilt

Brožovaná

1 556 Kč

Chronicles Of Dinah Lee Wright Volume 2 Stephannie Tallent

Adobe ePub DRM

120 Kč

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

Brožovaná

237 Kč

Biographies of Great Men Meredith Jones

Pevná

858 Kč

100 datos curiosos de transporte YOYO

Brožovaná

216 Kč

Nazenin Güller

Brožovaná

303 Kč

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

Audio CD

1 170 Kč

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

Mapa

53 Kč

American Royals IV: Reign McGee

Brožovaná

397 Kč

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

Pevná

295 Kč

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

Pevná

446 Kč

In It to Win It Mmaeyen Attah

Brožovaná

291 Kč

Imparare leggendo MERANI

Brožovaná

212 Kč

Finanzmärkte im Spannungsfeld von Globalisierung, Regulierung und Geldpolitik. Johann-Heinrich-von-Thünen-Vorlesung: Dieter Duwendag

Brožovaná

2 564 Kč

National Geographic Dawn to Dark Photographs National Geographic

Pevná

833 Kč

Consumer Product Innovation and Sustainable Design Robin Roy

Pevná

6 725 Kč

Spatial Humanities David J. Bodenhamer

Brožovaná

694 Kč

Spiritual Lives of Bereaved Parents Dennis E. Klass

Brožovaná

1 424 Kč

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.