首页 文献索引 SCI期刊 AI助手
登录 注册
首页 正文

Software testing verification & reliability. 2012;22(6):0-0. doi: 10.1002/stvr.1467 Q31.52024

Scenario-based testing using symbolic animation of B models

使用B模型的符号动画进行基于场景的测试

Frédéric Dadeau; Kalou Cabrera Castillos; Régis Tissot

DOI: 10.1002/stvr.1467

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译,仅供参考!

期刊名:Software testing verification & reliability

缩写:

ISSN:0960-0833

e-ISSN:1099-1689

IF/分区:1.5/Q3

文章目录 更多期刊信息

全文链接
引文链接
复制
已复制!
推荐内容
Scenario-based testing using symbolic animation of B models