The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    TLA+: Whence, Wherefore, and Whither


    Beteiligte:


    Erscheinungsdatum :

    01.04.2009


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    AIAA Journal-Whence and Whither

    LEO STEG | AIAA | 1966



    Why and wherefore of truck accounting

    Engineering Index Backfile | 1914


    Wherefore Art Thou Aggregate Resources for Highways?

    Meininger, Richard C | Online Contents | 2011


    Why and wherefore of detail design -- 15

    Engineering Index Backfile | 1942