![](/img/cover-not-exists.png)
[IEEE 2016 IEEE Conference on Computer-Aided Control System Design (CACSD) - Buenos Aires (2016.9.19-2016.9.22)] 2016 IEEE Conference on Computer Aided Control System Design (CACSD) - Safety verification of refrigeration containers using barrier certificates
Christensen, Rasmus L., Wisniewski, Rafael, Sorensen, Kresten K.Year:
2016
Language:
english
DOI:
10.1109/cacsd.2016.7602538
File:
PDF, 494 KB
english, 2016