Amanote Research
Register
Sign In
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
- China
doi 10.1360/jos180062
Full Text
Open PDF
Abstract
Available in
full text
Categories
Software
Date
January 1, 2007
Authors
Wei CHEN
Publisher
China Science Publishing & Media Ltd.
Related search
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Real-Time Dynamic Substructure Testing of Soil-Adjacent Structure System Based on Branch Mode Method
Journal of Vibroengineering
Materials Science
Mechanical Engineering
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
International Journal of Foundations of Computer Science
Computer Science
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
Journal of Software Engineering and Applications
