[IEEE 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) - Trieste, Italy (2011.08.24-2011.08.27)] 2011 IEEE International Conference on Automation Science and Engineering - Towards an automated verification process for industrial safety applications
Thramboulidis, Kleanthis, Soliman, Doaa, Frey, GeorgYear:
2011
Language:
english
DOI:
10.1109/case.2011.6042451
File:
PDF, 743 KB
english, 2011