Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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


    Published in:

    Publication date :

    1998-01-01


    Size :

    10 pages


    Remarks:

    Text in German or English




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German





    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 and architectural aspects of modelling, the case of a semi-trailer

    Chamaillard, Y. / Gissinger, G. L. / International Federation of Automatic Control | British Library Conference Proceedings | 1997


    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