Preface of the special issue on Model Checking of Software

机译：软件模型检查专刊序言

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ezio Bartocci; C. R. Ramakrishnan;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software [J] . Ezio Bartocci, C. R. Ramakrishnan International Journal on Software Tools for Technology Transfer . 2016,第4期

机译：软件模型检查专刊的序言：第20届国际SPIN软件模型检查研讨会论文选集
2. Preface to the special issue on Probabilistic Model Checking [J] . Christel Baier, Marta Kwiatkowska Formal Methods in System Design . 2013,第2期

机译：概率模型检查专刊的序言
3. Part 1: Special Issue: Asynchronous behavior of cellular automata and discrete models Part 2: Special Issue: Information Granulation in Natural Computing Preface [J] . Slezak Dominik, Skowron Andrzej Natural Computing . 2015,第4期

机译：第1部分：特刊：元胞自动机和离散模型的异步行为第2部分：特刊：自然计算中的信息细化前言
4. Preface to the special issue on the World Hydrogen Energy Conference - WHEG2018 [C] . Paulo Emilio V. de Miranda, Bernardo Jordao Moreira Sarruf World hydrogen energy conference . 2018

机译：世界氢能会议特刊序言-WHEG2018
5. Safety analysis of software product lines using state-based modeling and compositional model checking [D] . Liu, Jing 2008

机译：基于状态建模和成分模型检查的软件产品线安全性分析
6. Preface from the Guest Editor of Special Issue Simple Substances of Non-Metals: Molecular Structures Modeling with Using DFT and More Advanced Methods of Quantum Chemistry [O] . Oleg V. Mikhailov 2021

机译：来自特殊问题的介绍前言非金属的简单物质：使用DFT和更先进的量子化学方法建模的分子结构
7. Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software [O] . Bartocci Ezio, Ramakrishnan C.R. 2016

机译：关于建模检查软件特刊的前言：第20届国际spIN软件建模检验研讨会论文选集

Preface of the special issue on Model Checking of Software

著录项

引文网络

相似文献

相关主题

期刊订阅