Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Paraphrasage d'une specification formelle B, un premier essai



    Conference:

    Congres; 15, Informatiques des organisations et systemes d'information et de decision: Actes du XV congres INFORSID ; 1997 ; Toulouse; France



    Publication date :

    1997-01-01


    Size :

    20 pages


    Remarks:

    Text in French and English



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    French




    Ford Puma, premier essai

    Online Contents | 1997


    Saab 9-5 2.0t SE, premier essai

    Online Contents | 1997


    L'utilisation de la methode NIAM pour construire une specification formelle basee sur un etat

    Habrias, H. / Associaiton inforsid | British Library Conference Proceedings | 1996