Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Discussion on: "Formal Specification Method for Systems Automation"


    Contributors:

    Published in:

    Publication date :

    2006-01-01


    Size :

    3 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    629.895



    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



    Formal Specification of Software Critical Systems with Agents

    Coriat, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995


    Formal specification and analysis of airborne mission systems

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