Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

Alberto Sangiovanni‐Vincentelli, Werner Damm, Roberto Passerone

European Journal of Control · 2012 · 326 citations · 27 references

Concepts

References

27