scientific article; zbMATH DE number 2013786

zbMath1029.68710MaRDI QIDQ4437066

Abdeslam En-Nouaary, Rachida Dssouli

Publication date: 7 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2644/26440211.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

TestingReal-Time SystemsTest PurposesTimed Input Output Automata

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (3)

Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts ⋮ Conformance Testing Relations for Timed Systems

This page was built for publication: