An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

DOI10.1007/978-3-030-30446-1_21MaRDI QIDQ6488986

Raluca Lefticaru, Manuel A. Nunez, Robert M. Hierons

Publication date: 14 March 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Artificial intelligence for robotics (68T40)

Cites Work

• Unnamed Item
• Refusal testing
• Conformance testing for real-time systems
• Statecharts: a visual formalism for complex systems
• Understanding concurrent systems
• On Conformance Testing for Timed Systems
• Formal Approaches to Software Testing

This page was built for publication: An Implementation Relation for Cyclic Systems with Refusals and Discrete Time