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.
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: pub_id: 615 Bibtex: MaSaUeYa_13:Compositional URL date: None
Uncontrolled Keywords: conference,security
Divisions: Unspecified
Conference: CDC IEEE Conference on Decision and Control
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:29
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/243

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.