1–10 of 48 hits
|

Your search:
keywords:(Software)

    A Knowledge-Based Autonomous Vehicle System for Emergency Management Support

    Gilmore, John F. | Springer Verlag | 1993
    Keywords: Software Engineering

    Measuring the Benefits of Transport Safety

    Jones-Lee, M. W. / Loomes, G. | Springer Verlag | 1995
    Keywords: Software Engineering

    Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

    Draper, Jonathan | Springer Verlag | 1997
    Keywords: Software Engineering

    Railway Safety Cases

    Edwards, Chris | Springer Verlag | 1997
    Keywords: Software Engineering

    Safety and Security Requirements for an Advanced Train Control System

    Braband, Jens | Springer Verlag | 1997
    Keywords: Software Engineering

    Safety Decision Making for the Railway

    Sharpe, Andrew | Springer Verlag | 2004
    Keywords: Software Engineering

    Stacked Packaging Laminar-Convection-Cooled Printed Circuit Using the Entropy Generation Minimization Method

    Furukawa, Takahiro / Yang, Wen-Jei / Torii, Shuichi | AIAA | 2008
    Keywords: Computational Fluid Dynamics Software

    Flow Structure in a U-Shaped Channel

    Wang, You Qin / Jackson, Peter L. / Phaneuf, Timothy J. | AIAA | 2009
    Keywords: Computational Fluid Dynamics Software

    Simulation of the Stagnation Region Microcrack Growth During Space Shuttle Reentry

    Titov, E. V. / Levin, D. A. / Anderson, Brian P. et al. | AIAA | 2011
    Keywords: CFD Software

    Emergency Evacuation Simulation of Urban Railway Station Based on EXODUS Software

    Liu, Zhigang / Huang, Yuanchun / Pan, Haize | ASCE | 2011
    Keywords: Computer software