Showing 1 - 20 results of 37 for search '', query time: 0.05s Refine Results
  1. 1

    Efficient symbolic state-space construction for asynchronous systems by Ciardo, Gianfranco

    Published 1999
    Click here to view full record online
    Government Document Microfilm Book
  2. 2

    A standard platform for testing and comparison of MDAO architectures / by Gray, Justin S.

    Published 2012
    Online Access
    Government Document eBook
  3. 3

    Implementation challenges for multivariable control what you did not learn in school! / by Garg, Sanjay

    Published 2008
    Online Access
    Online Access
    Government Document Electronic Conference Proceeding eBook
  4. 4

    A methodology for the design and verification of globally asynchronous/locally synchronous architectures

    Published 2005
    Online Access
    Online Access
    Government Document Electronic eBook
  5. 5

    Application of SAE ARP4754A to flight critical systems / by Peterson, Eric M.

    Published 2015
    Online Access
    Government Document eBook
  6. 6

    Integration of a CAD system into an MDO framework / by Townsend, James C. (James Courtland), 1938-

    Published 1998
    Online Access
    Online Access
    Government Document eBook
  7. 7

    Applying Monte Carlo simulation to launch vehicle design and requirements analysis by Hanson, J. M.

    Published 2010
    Online Access
    Online Access
    Government Document Electronic eBook
  8. 8

    Probabilistic analysis of distributed fault-tolerant systems by Dutertre, Bruno

    Published 2011
    Online Access
    Online Access
    Government Document Electronic eBook
  9. 9
  10. 10

    Algorithms for bilevel optimization by Alexandrov, Natalia M.

    Published 1994
    Government Document Microfilm Book
  11. 11

    Open architectures for formal reasoning and deductive technologies for software development final report 5/1/91-7/31/94, grant no. NAG2-703 /

    Published 1994
    Government Document Microfilm Book
  12. 12
  13. 13

    Network of Networks Final Report 2016

    Published 2017
    Full Text (via OSTI)
    Government Document Electronic eBook
  14. 14

    Integrated modeling tool for performance engineering of complex computer systems final report /

    Published 1989
    Government Document Microfilm Book
  15. 15

    Higher order turbulence closure models by Amano, Ryoichi

    Published 1988
    Government Document Microfilm Book
  16. 16
  17. 17

    Distributed state-space generation of discrete-state stochastic models by Ciardo, Gianfranco

    Published 1995
    Government Document Microfilm Book
  18. 18

    Human factors certification of advanced aviation technologies

    Published 1993
    Government Document Microfilm Book
  19. 19

    An open simulation system model for scientific applications by Williams, Anthony D.

    Published 1995
    Government Document Microfilm Book
  20. 20

    On automating domain connectivity for overset grids progress report for NASA grant 2-783 / by Chiu, Ing-Tsau

    Published 1994
    Government Document Microfilm Book
Search Tools: RSS Feed Save Search