Safety verification of refrigeration containers using barrier certificates

Autor: Christensen, Rasmus Lundgaard, Wisniewski, Rafal, Sørensen, Kresten Kjær

Publikováno v: Christensen, R L, Wisniewski, R & Sørensen, K K 2016, Safety verification of refrigeration containers using barrier certificates . in Computer Aided Control System Design (CACSD), 2016 IEEE Conference on . 2016 edn, IEEE, IEEE Conference on Computer-Aided Control Systems Design, pp. 635-640, 2016 IEEE Conference on Computer Aided Control System Design (CACSD), Buenos Aires, Argentina, 19/09/2016 . https://doi.org/10.1109/CACSD.2016.7602538

Refrigeration containers make up a large portion oftodays global trade, carrying anything from electronics to freshfruit and vegetables. The containers are transported throughvarying surrounding temperatures which speeds up the wearand tear of the me

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ac85474124f99dcc6d6620fa82f5d1dd
https://vbn.aau.dk/da/publications/85b9166d-770a-4157-bf8f-395683ef2a81