Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Healthiness versus realizability in predicate transformers


    Contributors:
    Holt, R. C. (author)


    Publication date :

    1990


    Size :

    31, 7 Bl.


    Remarks:

    graph. Darst.
    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    000





    Realizability in two-equation turbulence models

    Moore, Joan / Moore, John | AIAA | 1999


    Realizability conditions for distributed rc networks

    Newcomb, R. W. / Rao, T. N. / Shaffer, C. V. | NTRS | 1966


    On physical realizability and uncertainty of numerical solutions

    Dörnbrack, Andreas / Doyle, James D. / Lane, Todd P. et al. | German Aerospace Center (DLR) | 2005

    Free access