Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Meyer, J. F. (Autor:in) / Furchtgott, D. G. (Autor:in) / Movaghar, A. (Autor:in)

    Erscheinungsdatum :

    1982-01-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




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

    Attoui, A. / Pomares, A. / Schneider, M. | British Library Online Contents | 1996


    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993


    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000


    Formal Specification of the TCAS Protocol

    Schaefer, C. / AIAA | British Library Conference Proceedings | 1993


    Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques

    Ehrig, H. / Orejas, F. / Padberg, J. et al. | British Library Conference Proceedings | 2000