• 不限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
搜索筛选:
搜索耗时0.0807秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
全部 期刊 学位 会议 报纸 英文
发布年度:
全部 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 更早
排序方式:
相关性 最新发表 最早发表
TRAP: trace runtime analysis of properties
[期刊论文] 作者：Daian YUE,Vania JOLOBOFF,Frédéric MALLET, 来源：计算机科学前沿 年份：2020
We present a method and a tool for the verification of causal and temporal properties for embedded systems.We analyze trace streams resulting from the execution...
相关搜索：