%0 Journal Article %1 journals/iee/WattersonH07 %A Watterson, C. %A Heffernan, Donal %D 2007 %J IET Softw. %K %N 5 %P 172-179 %T Runtime verification and monitoring of embedded systems. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen1.html#WattersonH07 %V 1

@article{journals/iee/WattersonH07, added-at = {2023-12-13T01:52:04.000+0100}, author = {Watterson, C. and Heffernan, Donal}, biburl = {https://www.bibsonomy.org/bibtex/2f7f565a3c0843a6363514331ad6d459c/admin}, ee = {https://doi.org/10.1049/iet-sen:20060076}, interhash = {77936e00d88b063d6775a374ab258d6d}, intrahash = {f7f565a3c0843a6363514331ad6d459c}, journal = {IET Softw.}, keywords = {}, number = 5, pages = {172-179}, timestamp = {2023-12-13T01:52:04.000+0100}, title = {Runtime verification and monitoring of embedded systems.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen1.html#WattersonH07}, volume = 1, year = 2007 }