1–23 of 23 hits
|

Your search:
keywords:(Software)

    Nouvelle technologie de conception de l'informatique embarquee dans les nouveaux systemes de transport

    Corbier, Franck / Kislin, Laurent / Fourgeau, Eliane | Tema Archive | 2007
    Keywords: Software-Engineering , Software-Entwicklung , Software-Planung , Software-Prototyping , Software-Prüfung

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archive | 2007
    Keywords: Software-Engineering , Software-Simulation , Software-Systemtest , Software-Validierung

    Une mise en oeuvre d'outils de genie logiciel dans le domaine des transports

    Keller, F. / Gazet, A. / Berieau, M. | Tema Archive | 1995
    Keywords: Software-Engineering , Software-Werkzeug , Software , Software-Lebenszyklus , Software-Entwicklung

    Des briques pour bâtir les plans de transport

    Direction de la recherche et de la technologie SNCF 45, Rue de Londres F - 75379 Pari | IuD Bahn | 2008
    Keywords: Software

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archive | 2007
    Keywords: Software-Architektur , Software-Entwicklung

    Pactole: Un outil d'aide a la conception de canalisations resistant aux agressions de tiers

    Deo, I. / Dezobry, J. / Laurens, F. et al. | Tema Archive | 2000
    Keywords: Software

    Etat de l'art de la validation des donnees dans le domaine ferroviaire

    Boulanger, Jean-Louis | Tema Archive | 2007
    Keywords: Software-Validierung

    Retour d'experience sur l'application d'aide a l'exploitation des reseaux ACROPOLE.

    Toussaint, C. / Mathieu, B. | Tema Archive | 2000
    Keywords: Software

    Simulation de trafic aerien a l'ecole nationale de l'aviation civile par simulateur cautra

    Cutullic, A. / Redon, S. / Rocipon, F. | Tema Archive | 1978
    Keywords: SOFTWARE

    Why ATLAS in the industrial sector?

    Fourtanier, J.L. | Tema Archive | 1979
    Keywords: SOFTWARE

    Analyse methodelogique des besoins informatiques pour les systemes militaires

    Boudarel, R. | Tema Archive | 1979
    Keywords: SOFTWARE

    Une aide efficace pour les transporteurs par rail

    Le nouveau logiciel Edicargo
    IuD Bahn | 1999
    Keywords: Software

    MeMVaTEx: des exigences aux modeles dans le domaine automobile

    Albinet, Arnaud / Dubois, Hubert / Peraldi-Frati, Marie-Agnes | Tema Archive | 2009
    Keywords: Projektmanagement-Software

    Etude et conception d'un voilier 'International America's Cup Class'. Challenger America's Cup XXIX

    Coudray, T. / Berhault, C. | Tema Archive | 1994
    Keywords: Software

    Synthese d'un superviseur ferroviaire a partir d'exigences avec PetriGen

    Bourdeaudhuy, Thomas / Yim, Pascal | Tema Archive | 2005
    Keywords: Design-Software

    Simulation de systemes ferroviaires, un projet decisif. Quelques cas d'applications

    Moulin, R. / Gauyacq, D. | Tema Archive | 1997
    Keywords: Software

    The implementation of a graphics terminal for air traffic control at Canadian military airfields

    Laporte, C.Y. / Houle, J.L. | Tema Archive | 1986
    Keywords: SOFTWARE