![Formal methods / Systems engineering / Dependability / Life-critical system / Computer security / Security / Prevention / Safety Formal methods / Systems engineering / Dependability / Life-critical system / Computer security / Security / Prevention / Safety](https://www.pdfsearch.io/img/cc0175b6574c8806f06fec1cea5f7c75.jpg)
| Document Date: 2014-02-27 09:10:08 Open Document File Size: 151,78 KBShare Result on Facebook
City Tallinn / / Facility R. Aps University of Tartu Estonian Marine Institute OUTLINE / / IndustryTerm emergent maritime traffic control systems / maritime traffic control systems / maritime oil transport / continuous real-time service / / Organization University of Tartu / Estonian Science Foundation / R. Aps University / / ProgrammingLanguage MIMIC / /
SocialTag |