Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification, design and validation of distributed control system: the ACSY-R model


    Contributors:
    Chapurlat, V. (author) / Prunet, F. (author)


    Publication date :

    1996-01-01


    Size :

    38 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    French


    Classification :

    DDC:    629.89



    Validation of Control Software Specification Using Design Interests Extraction and Model Checking

    Kaga, T. / Adachi, M. / Hosotani, I. et al. | British Library Conference Proceedings | 2012


    Validation of Control Software Specification Using Design Interests Extraction and Model Checking

    Hosotani, Ichiro / Konishi, Masaaki / Adachi, Masakazu et al. | SAE Technical Papers | 2012



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

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