[IEEE Factory Automation (ETFA 2010) - Bilbao (2010.09.13-2010.09.16)] 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - Model-Checking based Verification approach for advanced Industrial Automation solutions
Mazzolini, M, Brusaferri, A, Carpanzano, EYear:
2010
Language:
english
DOI:
10.1109/etfa.2010.5641209
File:
PDF, 1.07 MB
english, 2010