%0 Conference Paper %1 conf/rtcsa/SammapunLS05 %A Sammapun, Usa %A Lee, Insup %A Sokolsky, Oleg %B RTCSA %D 2005 %I IEEE Computer Society %K VST4WSN model_checking probabilistic real_time runtime_checking %P 147-153 %T RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2005.html#SammapunLS05 %@ 0-7695-2346-3

@inproceedings{conf/rtcsa/SammapunLS05, added-at = {2010-04-20T15:30:38.000+0200}, author = {Sammapun, Usa and Lee, Insup and Sokolsky, Oleg}, biburl = {https://www.bibsonomy.org/bibtex/2b1c15cdfe6adb6324b527ab5a8eebae4/davef}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2005}, date = {2006-01-17}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.84}, interhash = {bf530fbfc9b117ab8473bca5a6604e2f}, intrahash = {b1c15cdfe6adb6324b527ab5a8eebae4}, isbn = {0-7695-2346-3}, keydf = {VST4WSN6}, keywords = {VST4WSN model_checking probabilistic real_time runtime_checking}, pages = {147-153}, priority = {1}, publisher = {IEEE Computer Society}, timestamp = {2010-04-20T15:30:38.000+0200}, title = {RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2005.html#SammapunLS05}, year = 2005 }