Varet antoine (26 risultati)

Paperback. Condizione: New.

Condizione: - Bon Etat. Autement - Série Mutations -N°130- Main 1992 - Petit In-4°, broché, couverture souple de la série, 206 pages, dense, bel exemplaire. - Bon Etat Mise à jour du Samedi 20 août 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée pour les colis lourds hors France où les envois compris entre 5 et 25 kg sont dégressifs : 2 à 4 kilogrammes - 7.99 / 5 à 10 kg - 15.99 / 15 -25 kg - 25.99. Certaines de nos collections ( Vian, Céline, Camus (.) peuvent être expédiées en Franco de port. Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). …

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New.

Hardcover. Condizione: Brand New. 1st edition. 128 pages. 9.50x6.50x0.75 inches. In Stock.

Buch. Condizione: Neu. Neuware - The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.…

Condizione: As New. Unread book in perfect condition.

Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: New.

Condizione: New.

Taschenbuch. Condizione: Neu. Conception d'un routeur embarqué pour l'avionique du futur | Définition, mise en ¿uvre & évaluation : aspects méthodologiques, de sûreté logicielle et de sécurité des réseaux | Antoine Varet | Taschenbuch | 532 S. | Französisch | 2014 | Presses Académiques Francophones | EAN 9783841627568 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.…

Hardcover. Condizione: Brand New. 1st edition. 128 pages. 9.50x6.50x0.75 inches. In Stock. This item is printed on demand.

Condizione: New. PRINT ON DEMAND.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Le contexte aéronautique a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d'éviter des utilisations malveillantes des matériels ou services installés à bord des avions. La plupart des approches de sécurisation 'avion' se concentrent sur des méthodes et techniques permettant de sécuriser les échanges au sein de l'avion. Elles sont cependant inadaptées à la sécurisation dans les cas d'interconnexion des réseaux avioniques avec le reste des réseaux de communication (réseau Internet par exemple). Le problème abordé dans ce travail vise donc à proposer une architecture de sécurité et de sûreté pour l'ensemble des communications aéronautiques et permettant une interconnexion sécurisée entre le monde 'avion' et le monde extérieur. La solution architecturale proposée dans ce travail repose principalement sur un composant central de routage, de filtrage et de sécurisation des flux de données aéronautiques. Le travail de conception et de développement de ce composant appelé Routeur Sécurisé de Nouvelle Génération (routeur SNG) a permis une validation expérimentale sur un système reproduisant un système embarqué. 532 pp. Französisch.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Le contexte aéronautique a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d'éviter des utilisations malveillantes des matériels ou services installés à bord des avions. La plupart des approches de sécurisation 'avion' se concentrent sur des méthodes et techniques permettant de sécuriser les échanges au sein de l'avion. Elles sont cependant inadaptées à la sécurisation dans les cas d'interconnexion des réseaux avioniques avec le reste des réseaux de communication (réseau Internet par exemple). Le problème abordé dans ce travail vise donc à proposer une architecture de sécurité et de sûreté pour l'ensemble des communications aéronautiques et permettant une interconnexion sécurisée entre le monde 'avion' et le monde extérieur. La solution architecturale proposée dans ce travail repose principalement sur un composant central de routage, de filtrage et de sécurisation des flux de données aéronautiques. Le travail de conception et de développement de ce composant appelé Routeur Sécurisé de Nouvelle Génération (routeur SNG) a permis une validation expérimentale sur un système reproduisant un système embarqué.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Le contexte aéronautique a depuis plusieurs années mis en évidence le besoin croissant de technologies de sécurité permettant d'éviter des utilisations malveillantes des matériels ou services installés à bord des avions. La plupart des approches de sécurisation 'avion' se concentrent sur des méthodes et techniques permettant de sécuriser les échanges au sein de l'avion. Elles sont cependant inadaptées à la sécurisation dans les cas d'interconnexion des réseaux avioniques avec le reste des réseaux de communication (réseau Internet par exemple). Le problème abordé dans ce travail vise donc à proposer une architecture de sécurité et de sûreté pour l'ensemble des communications aéronautiques et permettant une interconnexion sécurisée entre le monde 'avion' et le monde extérieur. La solution architecturale proposée dans ce travail repose principalement sur un composant central de routage, de filtrage et de sécurisation des flux de données aéronautiques. Le travail de conception et de développement de ce composant appelé Routeur Sécurisé de Nouvelle Génération (routeur SNG) a permis une validation expérimentale sur un système reproduisant un système embarqué.Books on Demand GmbH, Überseering 33, 22297 Hamburg 532 pp. Französisch.…

Condizione: New. Print on Demand pp. 532.

Condizione: New. Print on Demand pp. 532 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 532.