Show simple item record

LiVe: Timely error detection in light-lockstep safety critical systems

contributor authorHernandez, C. , Abella, J.
date accessioned2020-03-12T20:38:51Z
date available2020-03-12T20:38:51Z
date issued2014
identifier other6881352.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1020604?show=full
formatgeneral
languageEnglish
publisherIEEE
titleLiVe: Timely error detection in light-lockstep safety critical systems
typeConference Paper
contenttypeMetadata Only
identifier padid8145127
subject keywordsApproximation methods
subject keywordsConferences
subject keywordsInformation systems
subject keywordsNatural languages
subject keywordsRough sets
subject keywordsSemantics
subject keywordsUpper bound
subject keywordsLower and upper approximations
subject keywordsPossibilistic information
subject keywordsPossible world semantics
subject keywordsRough sets
subject keywordsRule induction
identifier doi10.1109/GRC.2014.6982838
journal titleesign Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE
filesize469983
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record