Real-time reasoning: the case of surveillance systems

Daniela Micucci, Marco Oldani, Francesco Tisato. Real-time reasoning: the case of surveillance systems. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]

@inproceedings{MicucciOT05,
  title = {Real-time reasoning: the case of surveillance systems},
  author = {Daniela Micucci and Marco Oldani and Francesco Tisato},
  year = {2005},
  doi = {10.1109/ETFA.2005.1612529},
  url = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612529},
  researchr = {https://researchr.org/publication/MicucciOT05},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy},
  publisher = {IEEE},
}