A Contract-Based Semantics and Refinement for Simulink.

Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu

Browse the full SETTA paper archive.