Pages that link to "Item:Q2452750"
From MaRDI portal
The following pages link to Properties of a predicate transformer of the VRS system (Q2452750):
Displaying 4 items.
- Vector data transformation using random binary matrices (Q891113) (← links)
- Fuzz testing technique and its use in cybersecurity tasks (Q2132099) (← links)
- Predicate transformers in the context of symbolic modeling of transition systems (Q2452757) (← links)
- Formation of similarity-reflecting binary vectors with random binary projections (Q2515348) (← links)