Control strategies for off-line testing of timed systems

DOI10.1007/s10703-022-00403-wMaRDI QIDQ6102163

Thierry Jéron, Léo Henry, Nicolas Markey

Publication date: 8 May 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

controllabilitygame theoryconformance testingtimed system

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Conformance testing for real-time systems
• A theory of timed automata
• A game approach to determinize timed automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Undecidable Problems About Timed Automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Model Checking Software
• Automata, Languages and Programming
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Lectures on Concurrency and Petri Nets
• Formal Modeling and Analysis of Timed Systems
• Control Strategies for Off-Line Testing of Timed Systems
• CONCUR 2005 – Concurrency Theory
• Testing timed automata

This page was built for publication: Control strategies for off-line testing of timed systems