search-head

Sie sind hier: Homepage >  Suche

    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Integrating Abstraction Techniques for Formal Verification of Analog Designs


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Exportieren, teilen und zitieren

    Dokumentinformationen

    Titel :

    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Beteiligte:
    Zaki, Mohamed H. (Autor:in) / Denman, William (Autor:in) / Tahar, Sofiène (Autor:in) / Bois, Guy (Autor:in)
    Erschienen in:

    Journal of Aerospace Computing, Information, and Communication ; 6 , 5 ; 373-392

    Erscheinungsdatum :

    2009-05-01

    Format / Umfang :

    20 pages

    ISSN :

    1542-9423

    DOI :

    https://doi.org/10.2514/1.44289

    Medientyp :

    Aufsatz (Zeitschrift)

    Format :

    Elektronische Ressource

    Sprache :

    Englisch

    Schlagwörter :

    Electronic Component , Tunnel Diodes , Bipolar Junction Transistor , Embedded Software , Capacitance , Graph Modeling , Landing Gear , Transformer , Energy Conservation , Mathematical Models

    Ähnliche Titel

    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016

    Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | AIAA | 2016

    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)

    Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok | British Library Conference Proceedings | 2016

    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archiv | 2008

    Human control strategy: abstraction, verification, and replication

    Nechyba, M.C. / Xu, Yangsheng | Tema Archiv | 1997

    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €

    Seitennavigation

    Dokumentinformationen

    Ähnliche Titel

    Exportieren, teilen und zitieren