Pages that link to "Item:Q1353857"

The following pages link to Top-down development of layered fault tolerant systems and its problems -- a deontic perspective (Q1353857):

Displaying 2 items.

• A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
• Challenges in the Specification of Full Contracts (Q3605474) (← links)