首页> 外文OA文献 >Tempo: A Toolkit for The Timed Input/Output Automata Formalism

【2h】

Tempo: A Toolkit for The Timed Input/Output Automata Formalism

机译：节奏：定时输入/输出自动形式主义的工具包

页面导航

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

著录项

作者
N. Lynch; L. Michel; A. A. Shvartsman;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Test Selection Criteria for Real-Time Systems Modeled as Timed Input- Output Automata [J] . Library hi tech news . 2008,第2a3期

机译：建模为定时输入输出自动机的实时系统的测试选择标准
2. A test purpose-based approach for testing timed input output automata [J] . Abdeslam En-Nouaary Software Testing, Verification and Reliability . 2013,第1期

机译：一种基于测试目的的方法，用于测试定时输入输出自动机
3. An Optimized Design of Serial-Input-Serial-Output (SISO) and Parallel-Input-Parallel-Output (PIPO) Shift Registers Based on Quantum Dot Cellular Automata Nanotechnology [J] . Li Ting, Kornovich Roy International Journal of Theoretical Physics: A Journal of Original Research and Reviews in Theoretical Physics and Related Mathematics, Dedicated to the Unification of Physics . 2019,第11期

机译：基于量子点蜂窝自动机纳米技术的串行输入串行输出（SISO）和并联输入并联输出（PIPO）移位寄存器的优化设计
4. A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata [C] . Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj International Conference on Quality Software . 2008

机译：一种用于测试定时输入输出自动机的实时系统的边界检查技术
5. Frequency Domain System Identification of Linear Time-Invariant Single-Input Single-Output 2-Dimensional Systems and Multi-Input Multi-Output 1-Dimensional Systems by Utilizing AFD Type Algorithms [D] . Wang, Xiaoyin. 2020

机译：通过利用AFD型算法，频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
6. Feasibility of Single-Input Tracer Kinetic Modeling withContinuous-Time Formalism in Liver 4-Phase Dynamic Contrast-Enhanced CT [O] . Sang Ho Lee, Yasuji Ryu, Koichi Hayano, -1

机译：单输入示踪剂动力学建模的可行性肝脏4相动态对比度增强CT中的连续时间形式主义
7. Test Generation from Timed Pushdown Automata with Inputs and Outputs [O] . Hemdi Hana, Julliand Jacques, Masson Pierre-Alain, 2015

机译：具有输入和输出的定时下推自动机的测试生成
8. Tempo: A Toolkit for the Timed Input/Output Automata Formalism [R] . Lynch, N. A. , Shvartsman, A. A. 2008

机译：速度：定时输入/输出自动机形式的工具包

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号