亚历山大·唐泽；奥德·马勒；埃齐奥·巴托西；德扬·尼科维奇；拉杜·格罗苏；斯科特·斯莫尔卡 关于时序逻辑和信号处理。 （英语） Zbl 1374.68278号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，92-106（2012）。 摘要：我们提出了时频逻辑（TFL），这是一种新的实值信号规范形式，它结合了时域的时序逻辑特性和频域特性。我们为这种形式主义提供了一个属性检查框架，并说明了它在定义和识别音乐作品属性方面的表现力。与混合自动机及其分析技术一样，TFL形式是对混合系统统一系统理论的贡献。有关整个系列，请参见[Zbl 1251.68006号]. 引用于9文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 94甲12 信号理论（表征、重建、滤波等） PDF格式BibTeX公司 XML格式引用 \textit{A.Donzé}等人，Lect。票据计算。科学。7561，92-106（2012；Zbl 1374.68278） 全文： 内政部