Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Practical Results from the Application of Model Checking and Test Generation from UML/SysML Models of On-Board Space Applications



    Kongress:

    Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey



    Erscheinungsdatum :

    2009-01-01


    Format / Umfang :

    57 pages


    Anmerkungen:

    Held in e-store (RMS); Held on CD-ROM




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Checking SysML Models Against Safety and Security Properties

    de Saqui-Sannes, Pierre / Apvrille, Ludovic / Vingerhoeds, Rob | AIAA | 2021


    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

    Dahlweid, Markus / Brauer, Jörg / Peleska, Jan | British Library Conference Proceedings | 2015


    Model-Based Testing: Automatic Generation of Test Cases, Test Data and Test Procedures from SysML Models

    Peleska, Jan / Brauer, Jörg / Dahlweid, Markus | SAE Technical Papers | 2015


    Application of SysML Standards to Space Mission Operations

    Chamis, C. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010