摘要：基于树莓派的移动检测系统在当代家庭和企业所面临的安全问题上提供了一些见解，并描述了其实施方法。该解决方案旨在利用PIR（被动红外）移动传感器进行移动检测，并通过电子邮件向用户发送通知。此外，该系统还使用一种名为UPPAAL的验证工具进行了验证。
作者：Venkat Margapuri
论文ID：2006.06442
分类：Other Computer Science
分类简称：cs.OH
提交时间：2020-06-12
PDF 下载： 英文版 中文版pdf翻译中