首页> 外文OA文献 >Generalized test tables: A powerful and intuitive specification language for reactive systems

【2h】

Generalized test tables: A powerful and intuitive specification language for reactive systems

机译：广义测试表：反应系统的强大和直观的规范语言

代理获取

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

页面导航

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

著录项

作者
Alexander Weigl; Franziska Wiebe; Mattias Ulbrich; Sebastian Ulewicz; Suhyun Cha; Michael Kirsten; Bernhard Beckert; Birgit Vogel-Heuser;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Behavioral specification of reactive systems using stream-based I/O tables [J] . Judith Thyssen, Benjamin Hummel Software and systems modeling . 2013,第2期

机译：使用基于流的I / O表的反应系统的行为规范
2. Spectra: a specification language for reactive systems [J] . Maoz Shahar, Ringert Jan Oliver Software and systems modeling . 2021,第5期

机译：光谱：反应系统的规范语言
3. QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems [J] . Yuan ZHOU, Yuichi GOTO, Jingde CHENG IEICE transactions on information and systems . 2019,第11期

机译：QSL：电子问卷，电子测试和电子投票系统的规范语言
4. Generalized test tables: A powerful and intuitive specification language for reactive systems [C] . Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, IEEE International Conference on Industrial Informatics . 2017

机译：通用测试表：用于反应系统的功能强大且直观的规范语言
5. The implementation of specification-based testing system for real-time reactive system in TROMLAB framework. [D] . Chen, Minghua. 2003

机译：在TROMLAB框架中为实时反应系统基于规范的测试系统的实现。
6. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 [O] . Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, 2019

机译：系统生物学标记语言（SBML）：3级版本2核心发行版2的语言规范
7. Freestyle Markup Language. Specification of an intuitive, powerful, polyhierarchical new extensible markup language [O] . Pondorf Denis, Witt Andreas 2017

机译：自由式标记语言。直观，强大，多层次的新可扩展标记语言的规范

Generalized test tables: A powerful and intuitive specification language for reactive systems

著录项

引文网络

相似文献

相关主题

期刊订阅