Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Evolutionary Development of Low-Entropy Dendritic Thermal Systems



    Erschienen in:

    Erscheinungsdatum :

    2009-10-01


    Format / Umfang :

    6 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Evolutionary development of C3I systems

    Riedl, P.H. | Tema Archiv | 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 | Kraftfahrwesen | 2005


    Formal verification in model based development

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