Department of Systems and Computer Science, University of Florence, Italy;
Faculty of Engineering, University of Ulster at Jorsanstown, Northern Ireland;
I+ srl, Florence, Italy;
model checking; temporal logic; activity daily living; patient behavior models;
机译:客座编辑关于区间时间逻辑的特殊问题的序言
机译:视觉语言与逻辑特刊:来宾编辑介绍
机译:内侧颞叶萎缩评分转化为临床实践:社论评论“年龄,疾病发作和ApoE4对视觉内侧颞叶萎缩的影响”
机译:一个可视化编辑器,以支持使用时间逻辑进行ADL监视
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:信号时态逻辑中的随机时空系统的指定和监视特性
机译:命题时态逻辑的证明编辑器