Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Healthiness versus realizability in predicate transformers


    Beteiligte:
    Holt, R. C. (Autor:in)

    Erscheinungsdatum :

    1990


    Format / Umfang :

    31, 7 Bl.


    Anmerkungen:

    graph. Darst.
    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    000





    Realizability conditions for distributed rc networks

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


    Realizability in two-equation turbulence models

    Moore, Joan / Moore, John | AIAA | 1999


    On physical realizability and uncertainty of numerical solutions

    Dörnbrack, Andreas / Doyle, James D. / Lane, Todd P. et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2005

    Freier Zugriff