Compositional Equivalence Checking for Models and Code of Control Systems

Majumdar, Rupak and Saha, Indranil and Ueda, Koichi and Yazarel, Hakan
(2013) Compositional Equivalence Checking for Models and Code of Control Systems.
In: Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013).
Conference: CDC - IEEE Conference on Decision and Control

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item