Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Solving Sudoku using Simulink Design Verifier-A Model Checking Example


    Beteiligte:
    Storm, Walter (Autor:in)

    Kongress:

    AIAA Infotech@Aerospace 2010



    Erscheinungsdatum :

    01.01.2010




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Solving Sudoku using Simulink® Design Verifier™ - a Model Checking Example

    Storm, W. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010


    Simulink design verifier

    Emerald Group Publishing | 2007


    Tube-shape verifier

    Anderson, A. N. / Christ, C. R. | NTRS | 1980


    Software Interface Verifier

    Soderstrom, T. J. / Krall, L. A. / Hope, S. A. et al. | British Library Conference Proceedings | 1994


    Quick connect coupling with verifier

    KERIN JR JAMES J | Europäisches Patentamt | 2020

    Freier Zugriff