Guest editorial: Special section on formal methods in manufacturing

IEEE Transactions on Industrial Informatics

Volumn 6, Issue 2, 2010, Pages 125-126

  Campos, Javier ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77952011161     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2010.2042529     Document Type: Editorial

References (7)

1. C. A. Vissers, M. van Sinderen, and L. F. Pires, "What makes industries believe in formal methods," in Protocol Specification, Testing and Verification, XIII, ser. IFIP Transactions 16, A. Danthine, G. Leduc, and P.Wolper, Eds. Amsterdam, The Netherlands: North-Holland, 1993, vol.C-16, pp. 3-26.
2. Proceedings International Workshop on Formal Methods and Manufacturing, J. C. Gentina, A. Giua, and M. Silva, Eds. Zaragoza, Spain: Prensas Universitarias de Zaragoza, Sep. 1999.
3. I. Castillo and J. S. Smith, "Formal modelling methodologies for control of manufacturing cells: Survey and comparison," J. Manuf. Syst., vol.21, no.1, pp. 40-57, 2002.
4. G. Morel, P. Valckenaers, J.-M. Faure, C. E. Pereira, and C. Diedrich, "Manufacturing plant control challenges and issues," Control Engineering Practice, vol.15, pp. 1321-1331, 2007. (Pubitemid 47338235)
5. T. L. Johnson, "Improving automation software dependability: A role for formal methods?," Control Engineering Practice, vol.15, pp. 1403-1415, 2007.
6. A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, and T. Tolio, "FM for FMS: Lessons learned while applying formal methods to the study of flexible manufacturing systems," Lecture Notes in Computer Science, vol.4711, pp. 366-380, 2007.
7. J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, "Formal methods: Practice and experience," ACM Computing Surveys, vol.41, no.4, pp. 1-36, Oct. 2009.