contributor author | Kalkbrenner, C. | |
contributor author | Stark, P. | |
contributor author | Kouemou, G. | |
contributor author | Algorri, M.-E. | |
contributor author | Brucher, R. | |
date accessioned | 2020-03-12T21:29:32Z | |
date available | 2020-03-12T21:29:32Z | |
date issued | 2014 | |
identifier other | 6945224.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1051296?show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | Sleep monitoring using body sounds and motion tracking | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8181288 | |
subject keywords | finite state machines | |
subject keywords | n inference mechanisms | |
subject keywords | n program testing | |
subject keywords | n program verification | |
subject keywords | n safety-critical software | |
subject keywords | n systems engineering | |
subject keywords | n FSM-based testing theory | |
subject keywords | n approximated models | |
subject keywords | n engineering reliable systems | |
subject keywords | n engineering safe system | |
subject keywords | n finite state machines | |
subject keywords | n formal methods | |
subject keywords | n inference approach | |
subject keywords | n input-output systems | |
subject keywords | n partial characterization set | |
subject keywords | n software artifacts | |
subject keywords | n system under test | |
subject keywords | n systems engineering | |
subject keywords | n Automata | |
subject keywords | n Inference | |
identifier doi | 10.1109/HASE.2014.46 | |
journal title | ngineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the | |
filesize | 1947688 | |
citations | 0 | |