Pages that link to "Item:Q2487689"
From MaRDI portal
The following pages link to Design and verification of logical models (Q2487689):
Displaying 5 items.
- Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions (Q384705) (← links)
- On the structure of symmetry groups of Vasil'ev codes (Q2388212) (← links)
- On the construction of transitive codes (Q2432946) (← links)
- Verification logic (Q4555452) (← links)
- (Q5494212) (← links)