CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Using Slicing to Improve the Performance of Model Invariant Checking

    Author
    Publication venue
    'AITO - Association Internationale pour les Technologies Objets'
    Publication date
    Field of study
    Get PDF
    International audienc
    HAL-CentraleSupelec
    Crossref
    INRIA a CCSD electronic archive server
    HAL-Rennes 1
    corecore