Conformance Testing Techniques for Timed Systems

DOI10.1007/3-540-36137-5_1zbMATH Open1278.68035OpenAlexW1532511115MaRDI QIDQ3085975

Hacène Fouchal

Publication date: 1 April 2011

Published in: SOFSEM 2002: Theory and Practice of Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-36137-5_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)

Related Items (4)

Timed testing of concurrent systems ⋮ A Method for Testing the Conformance of Real Time Systems ⋮ Title not available (Why is that?) ⋮ Conformance Testing Relations for Timed Systems

This page was built for publication: Conformance Testing Techniques for Timed Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085975)