停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

春田0001

>主页 >珀森斯

人员信息

隶属关系： 意大利特伦托波沃布鲁诺·凯斯勒基金会

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2022
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiTT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiTT22
亚历山德罗·西马蒂,春田,斯特凡诺·托内塔:
基于假设的运行时验证。形式方法系统。设计。 60(2):277-324(2022)
2021
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/CimattiTT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/CimattiTT21
亚历山德罗·西马蒂,春田,斯特凡诺·托内塔:
基于假设的无限状态系统运行时验证。 RV汽车 2021:207-227
2020
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/TianS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/TianS20
春田,戴维德·桑吉奥吉:
收缩、CCS及其HOL形式化的独特解决方案。 Inf.计算。 275:104606(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/CimattiTT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/CimattiTT19
亚历山德罗·西马蒂,春田,斯特凡诺·托内塔:
基于假设的运行时验证，具有部分可观测性和重置。 RV汽车 2019:165-184
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/CimattiTT19a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/CimattiTT19a
亚历山德罗·西马蒂,春田,斯特凡诺·托内塔:
NuRV:用于运行时验证的nuXmv扩展。 RV汽车 2019:382-392
2018
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-08652
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08652
春田,戴维德·桑吉奥吉:
合同、CCS及其HOL形式化的独特解决方案。快递/SOS 2018:122-139
2017
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Tian17a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Tian17a
春田:
HOL4中过程代数CCS的形式化。 CoRR公司 abs/1705.07313(2017)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Tian17b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Tian17b
春田:
高阶逻辑中的形式化Lambek演算（HOL4）。 CoRR公司 abs/1705.07318(2017)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Tian17c
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Tian17c
春田:
通用Lisp的SNMP。 CoRR公司腹肌/1705.08708(2017)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Tian17aa
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Tian17aa
春田:
HOL4中过程代数CCS的进一步形式化。 CoRR公司 abs/1707.04894(2017)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1712-09402
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1712-09402
春田:
过程代数中方程唯一解的形式化。 CoRR公司 abs/1712.09402(2017)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。