Pages that link to "Item:Q3605474"
From MaRDI portal
The following pages link to Challenges in the Specification of Full Contracts (Q3605474):
Displaying 4 items.
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)