scientific article; zbMATH DE number 7447740

MaRDI QIDQ3384887FDOQ3384887

Authors: Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen 

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03889

Title of this publication is not available (Why is that?)

Recommendations

• A local approach to the testing of real-time systems
• Conformance tests for real-time systems with timed automata specifications
• Conformance testing for real-time systems
• On Conformance Testing for Timed Systems
• A Method for Testing the Conformance of Real Time Systems
• A fault-detection approach to the conformance testing of nondeterministic systems
• Model Checking Software

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Timed I/O automata: a complete specification theory for real-time systems
• Formal Approaches to Software Testing

Uses Software

• ECDAR

This page was built for publication:

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