Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A mini grand challenge: build a verifiable filesystem


    Beteiligte:

    Kongress:

    Verified Software: Theories, Tools, Experiments ; 2005 ; Zurich, Switzerland


    Erscheinungsdatum :

    2005-10-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    The Grand Challenge

    Wallace, A. | British Library Conference Proceedings | 2007


    MoD Grand Challenge Overview

    Chew, N. / University of Bristol | British Library Conference Proceedings | 2009


    Hard drive: Mini JCW Challenge

    Miller,B. / Mini,GB | Kraftfahrwesen | 2017


    Urban Air Mobility: Grand Challenge

    Sharma, Shivanjli | NTRS | 2020


    Melbourne: The Grand Prix challenge

    British Library Online Contents | 1996