×

找到7个文档（结果1-7）

最新 引文 相关性
宋，傅;Taysir Touili

模型检查动态下推网络。 （英语） Zbl 1426.68176号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8301，33-49（2013年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{T.Touili}，莱克特。注释计算。科学。8301、33-49（2013；Zbl 1426.68176）
全文： 内政部
宋，傅;泰瑟·图利

恶意软件检测的LTL模型检查。 （英语） Zbl 1381.68182号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，416-431（2013）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{T.Touili}，莱克特。注释计算。科学。7795、416--431（2013年；Zbl 1381.68182）
全文： 内政部
宋，傅;泰瑟·图利

使用模型检查高效检测恶意软件。 （英语） Zbl 1372.68177号

Giannakopoulou，Dimitra（编辑）等人，FM 2012：形式方法。第18届国际研讨会，2012年8月27日至31日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32758-2/pbk）。计算机科学课堂讲稿7436418-433（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{T.Touili}，莱克特。注释计算。科学。7436418--433（2012年；Zbl 1372.68177）
全文： 内政部
宋，傅;泰瑟·图利

按下模型检查恶意软件检测。 （英语） 兹比尔1352.68163

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学讲义7214110-125（2012）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{T.Touili}，莱克特。注释计算。科学。7214、110-125（2012；Zbl 1352.68163）
全文： 内政部
宋，傅;泰瑟·图利

用于下推系统的高效CTL模型检查。 （英语） Zbl 1343.68156号

Katoen，Joost Pieter（编辑）等人，CONCUR 2011——并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901434-449（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{T.Touili}，莱克特。注释计算。科学。6901434--449（2011；Zbl 1343.68156）
全文： 内政部

筛选结果依据…

文档类型

作者

序列号

出版年份

主字段

全部的 前3名

软件