De bedoeling van dit boek is om een overzicht te geven van de verificatietechnieken die gebruikt ...

Il rapido aumento dell'uso del software nei sistemi e nelle apparecchiature di bordo utilizzati s...

The rapid increase in the use of software in airborne systems and equipment used on aircraft and ...

Die Absicht dieses Buches ist es, einen Überblick über die Verifikationstechniken zu geben, die z...

A intenção deste livro é fornecer uma visão geral das técnicas de verificação utilizadas para ver...

L'objectif de ce livre est de fournir un aperçu des techniques de vérification utilisées pour vér...

The intent of this book is to provide an overview of the verification techniques used to verify s...

An embedded system is a combination of computer hardware and software-and perhaps additional part...

Un système embarqué est une combinaison de matériel et de logiciels informatiques - et peut-être ...

Un sistema embedded è una combinazione di hardware e software per computer - e forse parti aggiun...

Ein eingebettetes System ist eine Kombination aus Computerhardware und -software - und möglicherw...

Um sistema incorporado é uma combinação de hardware e software de computador - e talvez peças adi...