Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Hierarchy of Formal Descriptions for Architectural Analysis and Design of Complex CS


    Contributors:


    Publication date :

    2007-01-01


    Size :

    7 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16



    Formal Analysis of the Structural Correctness of SLC Descriptions

    Choi, S. J. / Scacchi, W. | British Library Online Contents | 2003


    Architectural analysis of complex systems with graph-based design languages

    Rudolph, Stephan / Hess, Stefan / Beichter, Johannes et al. | Tema Archive | 2013


    Formal and architectural aspects of modelling, the case of a semi-trailer

    Chamaillard, Y. / Gissinger, G. L. / International Federation of Automatic Control | British Library Conference Proceedings | 1997


    Moped Task Analysis: Task Descriptions

    A. J. McKnight / M. A. Calvin / D. H. Weir et al. | NTIS | 1980


    Ship Descriptions

    Online Contents | 2012