Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Semi-formal design methods for functional modelling of climate control systems



    Kongress:

    Tagung, Elektronik im Kraftfahrzeug ; 1998 ; Baden-Baden; Germany


    Erschienen in:

    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    10 pages


    Anmerkungen:

    Text in German or English




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch





    Development Process Improvement by Means of Formal and Semi-Formal Methods

    Thuillier, P. / Wippler, J.-L. / EUROSPACE et al. | British Library Conference Proceedings | 2000



    Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)

    Madni, Azad M. | British Library Conference Proceedings | 2018


    Formal methods for control of nonlinear systems

    Li, Yinan / Liu, Jun | TIBKAT | 2023