Search alternatives:
contract optimization » constraint optimization, control optimization, content optimization
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? -- Contracts for Scala...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “... Made Efficient -- Hierarchical Contract-based Synthesis for Assurance Cases -- Verified Probabilistic...”