Pages that link to "Item:Q5900959"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959):
Displaying 4 items.
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
