[IEEE 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2018.6.27-2018.6.29)] 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Safety Critical Systems Formal Verification Using Execution Traces
Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Orlando, Albina, Santone, Antonella, Vaglini, GigliolaYear:
2018
Language:
english
DOI:
10.1109/WETICE.2018.00054
File:
PDF, 177 KB
english, 2018