Pages that link to "Item:Q3434605"
From MaRDI portal
The following pages link to Conformance Testing Relations for Timed Systems (Q3434605):
Displaying 8 items.
- Formal testing from timed finite state machines (Q2469174) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- (Q4507811) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- A Method for Testing the Conformance of Real Time Systems (Q5392298) (← links)
- On Resource-Sensitive Timed Component Connectors (Q5428917) (← links)
- Principles of Distributed Systems (Q5466226) (← links)
- FM 2005: Formal Methods (Q5716875) (← links)