LiVe: Timely error detection in light-lockstep safety critical systems
نویسنده:
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/GRC.2014.6982838
کلیدواژه(گان): 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
کالکشن
:
-
آمار بازدید
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 | |
| 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 |