Title of article
Runtime verification and monitoring of embedded systems
Author/Authors
Watterson، نويسنده , , C.; Heffernan، نويسنده , , D.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
8
From page
172
To page
179
Journal title
IEE Proceedings Software
Serial Year
2007
Journal title
IEE Proceedings Software
Record number
352006
Link To Document