Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation of Discrete Events Automotive Systems from their Bahaviour Specification Models


    Contributors:

    Conference:

    Congress; 26th, FISITA 96: Engineering challenge; human friendly vehicles ; 1996 ; Prague



    Publication date :

    1996-01-01


    Size :

    236 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Optimisation of dynamic crankshaft bahaviour for sound quality improvement

    Grasso, C. / Zappala, A. / Nehl, J. et al. | Tema Archive | 1999


    Thermal Bahaviour of MMC and CMC Materials for Brake Applications

    Fueller, K.-H. / Gross, G. / Haug, T. et al. | British Library Conference Proceedings | 1996



    Algebraic Specification of Discrete Event System Models and Their Refinements

    Hu, X. / Kaneshige, A. / Onogi, K. et al. | British Library Online Contents | 1994