Pages that link to "Item:Q1667647"
From MaRDI portal
The following pages link to Wireless protocol validation under uncertainty (Q1667647):
Displaying 5 items.
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- One step forward: linking wireless self-organizing network validation techniques with formal testing approaches (Q2875039) (← links)
- (Q3045260) (← links)
- Validating and Securing Spontaneous Associations between Wireless Devices (Q3404391) (← links)
- Introduction to the special issue on runtime verification (Q5915718) (← links)