Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integrating Abstraction Techniques for Formal Verification of Analog Designs


    Contributors:


    Publication date :

    2009-05-01


    Size :

    20 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    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 Archive | 2008


    Human control strategy: abstraction, verification, and replication

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