Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Multi-Project Capability in Checking Software Models



    Published in:

    Auto Tech Review ; 3 , 4 ; 32-35


    Publication date :

    2014-04-01


    Size :

    4 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Self-checking software

    Cha, Sung D. / Leveson, Nancy G. / Shimeall, Timothy J. et al. | NTRS | 1986



    Dynamic checking method for multi-time-scale adjustable capability of virtual power plant

    CUI YIBO / LING ZAIXUN / SUN JINLI et al. | European Patent Office | 2025

    Free access

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archive | 1997


    Model checking for software security properties

    Powell, J. D. / Gilliam, D. P. | NTRS | 2002