A method for testing real-time system based on timed automata

MaRDI QIDQ3610913zbMATH OpenFDO

Authors Wei Chen, Yunzhi Xun, Chen Zhao, Mingshu Li

Publication date 6 March 2009

zbMATH Keywords

real-time system testingtimed safety input-output automata

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• A method for testing real-time systems based on timed automata
• scientific article; zbMATH DE number 2013786
• Conformance tests for real-time systems with timed automata specifications
• A Method for Testing the Conformance of Real Time Systems
• Testing timed automata

Cited in

(7)

• Testing real-time systems using determinization techniques for automata over timed domains
• A method for testing real-time systems based on timed automata
• scientific article; zbMATH DE number 2013786 (Why is no real title available?)
• A Method for Testing the Conformance of Real Time Systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Principles of Distributed Systems
• Formal Approaches to Software Testing

This page was built for publication: A method for testing real-time system based on timed automata

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