LiVe: Timely error detection in light-lockstep safety critical systems
Author:
Publisher:
Year
: 2014DOI: 10.1109/GRC.2014.6982838
Keyword(s): Approximation methods,Conferences,Information systems,Natural languages,Rough sets,Semantics,Upper bound,Lower and upper approximations,Possibilistic information,Possible world semantics,Rough sets,Rule induction
Collections
:
-
Statistics
LiVe: Timely error detection in light-lockstep safety critical systems
Show full item record
| contributor author | Hernandez, C. , Abella, J. | |
| date accessioned | 2020-03-12T20:38:51Z | |
| date available | 2020-03-12T20:38:51Z | |
| date issued | 2014 | |
| identifier other | 6881352.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1020604?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | LiVe: Timely error detection in light-lockstep safety critical systems | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8145127 | |
| subject keywords | Approximation methods | |
| subject keywords | Conferences | |
| subject keywords | Information systems | |
| subject keywords | Natural languages | |
| subject keywords | Rough sets | |
| subject keywords | Semantics | |
| subject keywords | Upper bound | |
| subject keywords | Lower and upper approximations | |
| subject keywords | Possibilistic information | |
| subject keywords | Possible world semantics | |
| subject keywords | Rough sets | |
| subject keywords | Rule induction | |
| identifier doi | 10.1109/GRC.2014.6982838 | |
| journal title | esign Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE | |
| filesize | 469983 | |
| citations | 0 |