MPG.eBooks - Search Results - (((( health ((evidence network) OR (incidence networks)) systems report ) OR ( ((heart sequence) OR (header sequence)) network systems report ))) OR ( health guidance network systems report ))

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... -- Monitoring Modulo Theories -- Temporal-Logic Based Runtime Observer Pairs for System Health Management...”