Real-time testing with timed automata testers and coverage criteria

Conference proceeding

Peer reviewed

Moez Krichen and Stavros Tripakis

Lecture notes in computer science, Vol.3253, pp.134-151

FORMATS 2004 : formal techniques, modelling and analysis of timed and fault-tolerant systems (Grenoble, 22-24 September 2004)

2004

Abstract

Applied sciences

Automata. Abstract machines. Turing machines

Computer science; control theory; systems

Exact sciences and technology

Theoretical computing

1 Record Views

Title: Real-time testing with timed automata testers and coverage criteria
Creators - without role: Moez Krichen - Verimag
Stavros Tripakis - Verimag
Publication Details: Lecture notes in computer science, Vol.3253, pp.134-151
Conference: FORMATS 2004 : formal techniques, modelling and analysis of timed and fault-tolerant systems (Grenoble, 22-24 September 2004)
Publisher: Springer
Identifiers: 9912129008331
Academic Unit: Al Baha University
Language: English
Resource Type: Conference proceeding