Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    Congres; 14, Inforsid ; 1996 ; Bordeaux; France



    Publication date :

    1996-01-01


    Size :

    22 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    French


    Keywords :


    Fuzzy NIAM for Real World Data Modelling

    Zgorzelski, M. / Zalewski, Z. | British Library Conference Proceedings | 1996


    Paraphrasage d'une specification formelle B, un premier essai

    Diallo, D. / Vailly, A. / Informatiques des organisations et systemes d'information et de decision | British Library Conference Proceedings | 1997


    Fuzzy NIAM for real world data modelling

    Zgorzelski,M. / Zalewski,Z. / GMI Engineering and Management Inst.,US et al. | Automotive engineering | 1996



    Une methode de diagnostic basee sur la modelisation du fonctionnement correct des equipements

    Piechowiak, S. / Rodriguez, J. / Millot, P. et al. | British Library Conference Proceedings | 1992