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



    The specification of surface naval command systems

    Holman, R. / Young, C. / Dorrington, J. | Tema Archive | 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


    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993


    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001