HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:safety-critical systems

Papers
Fault-Tolerant Systems Based on Distributed IMA Technology
Mohamed Elmahdi
EasyChair Preprint no. 10164
Automatic generation of high quality test sets via CBMC
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma and Alessandra Puddu
In:VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2023 easychair.org. All rights reserved.