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 :

    01.01.1996


    Format / Umfang :

    28 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch


    Klassifikation :

    DDC:    629.89



    Formal Specification Method for Systems Automation

    Petin, J.-F. / Morel, G. / Panetto, H. | British Library Online Contents | 2006


    Formal Specification of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    Discussion on: "Formal Specification Method for Systems Automation"

    Zaytoon, J. / Valero, V. / Cambronero, M. E. | British Library Online Contents | 2006


    The specification of surface naval command systems

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


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

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