Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Attoui, A. (author) / Pomares, A. (author) / Schneider, M. (author)

    Published in:

    Publication date :

    1996-01-01


    Size :

    28 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    French


    Classification :

    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 Archive | 1987


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

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