Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Evolutionary Development of Low-Entropy Dendritic Thermal Systems



    Published in:

    Publication date :

    2009-10-01


    Size :

    6 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Evolutionary development of C3I systems

    Riedl, P.H. | Tema Archive | 1984


    Formal development of software in railways safety critical systems

    Dehbonei, B. / Mejia, F. / Wessex Institute of Technology | British Library Conference Proceedings | 1994


    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 verification for model-based development

    Bouali,A. / Dion,B. / Esterel Technologies,FR | Automotive engineering | 2005


    Formal verification in model based development

    Hocking,A.B. / Knight,J.C. / Aiello,M.A. et al. | Automotive engineering | 2015