1–9 von 9 Ergebnissen
|

    A Mathematical Analysis of Conflict Prevention Information

    Maddalon, J. / Butler, R. / Munoz, C. et al. | British Library Conference Proceedings | 2009

    An Informal Introduction to Formal Methods

    Holloway, C. M. / Miner, P. S. / Butler, R. W. et al. | British Library Conference Proceedings | 1995

    Optimum buckling design of compression panels using VICONOPT

    Butler, R. / Williams, F.W. | Tema Archiv | 1993

    Optimum design of high aspect ratio wings subject to aeroelastic constraints

    Butler, R. / Lillico, M. / Banerjee, J.R. et al. | Tema Archiv | 1995

    Overview of NASA Langley's Formal Methods Program

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995

    Rationale focal Methods

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995