Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Search content at Teesside University's Research Portal
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Equipment
Press/Media
Timed patterns: TCOZ to timed automata
Jin Song Dong
, Ping Hao
,
Shengchao Qin
, Jun Sun
, Wang Yi
SCEDT School Executive Team
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
154
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Timed patterns: TCOZ to timed automata'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Timed Automata
100%
Object-Z
100%
Time Pattern
100%
Communicating Object
100%
Tool Support
42%
Composable
42%
Graph Pattern
42%
Timing Properties
28%
Modeling Language
14%
Requirement Model
14%
Modeling Techniques
14%
Complex Real-time System
14%
Z Specification
14%
Logical Modeling
14%
Transformation Rules
14%
Railway Crossing
14%
Systematic Design
14%
Graphical Modeling
14%
Multiple Clocks
14%
Time Model
14%
Z′ Model
14%
Automatic Tool
14%
Sound Transformation
14%
Computer Science
Timed Automaton
100%
Communicating Object
100%
Case Study
14%
modeling language
14%
Requirements Models
14%
Real Time Systems
14%
Transformation Rule
14%