Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A formal method and environment for manufacturing systems command part specification and validation


    Beteiligte:
    Attoui, A. (Autor:in) / Pomares, A. (Autor:in) / Schneider, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1996-01-01


    Format / Umfang :

    28 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch


    Klassifikation :

    DDC:    629.89



    The specification of surface naval command systems

    Holman, R. / Young, C. / Dorrington, J. | Tema Archiv | 1987


    Formal specification and analysis of airborne mission systems

    Kristensen, L.M. / Billington, J. / Petrucci, L. et al. | IEEE | 2002


    A bibliography on formal methods for system specification, design and validation

    Meyer, J. F. / Furchtgott, D. G. / Movaghar, A. | NTRS | 1982


    CaVa DSL : Virtual learning spaces formal specification

    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018

    Freier Zugriff