A model checking-based method for verifying web application design

机译：一种基于模型检验的Web应用程序设计验证方法

代理获取

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

页面导航

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

著录项

作者
Francesco Maria Donini; Marina Mongiello; Michele Ruta; Rodolfo Totaro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modelling methods for web application verification and testing: state of the art [J] . Manar H. Alalfi, James R. Cordy, Thomas R. Dean Software Testing, Verification and Reliability . 2009,第4期

机译：Web应用程序验证和测试的建模方法：最新技术
2. MODELING AND VERIFICATION METHODS FOR APPLICATION DESIGN IN HETEROGENEOUS ARCHITECTURES [J] . Pogorilyy S., Slynko M. Cybernetics and Systems Analysis . 2020,第4期

机译：异构架构中应用设计的建模与验证方法
3. Application of central composite design method to coal flotation: Modelling, optimization and verification [J] . Aksoy Derya Oz, Sagol Ercan Fuel . 2016,第NOVa1期

机译：中心复合设计方法在浮选中的应用：建模，优化与验证
4. Model Checking-based Verification of Web Application [C] . Miao, Huaikou, Zeng, . 2007

机译：基于模型检查的Web应用程序验证
5. Methods, Computational Platform, Verification, and Application of Earthquake-Soil-Structure-Interaction Modeling and Simulation. [D] . Tafazzoli, Nima. 2012

机译：地震-土壤-结构-相互作用模型与仿真的方法，计算平台，验证与应用。
6. Methods and Applications of In Silico Aptamer Design and Modeling [O] . Andrey A. Buglak, Alexey V. Samokhvalov, Anatoly V. Zherdev, 2020

机译：在硅Aptamer设计和建模中的方法和应用
7. A Model Checking-based Method for Verifying Web Application Design [O] . Donini Francesco Maria, Mongiello Marina, Ruta Michele, 2006

机译：基于模型检查的Web应用程序设计验证方法
8. Verification and Validation of ICME Methods and Models for Aerospace Applications. [R] . Cowles, B., Backman, D., Dutton, R. 2012

机译：ICmE航空航天应用方法和模型的验证和验证。

A model checking-based method for verifying web application design

著录项

引文网络

相似文献

相关主题

期刊订阅