[n] A. Voitier, M. Gonzalez-Berges, F. M. Tilaro, and M. Roshchin, “Formalizing Expert Knowledge in Order to Analyse CERN's Control Systems”, in Proc. ICALEPCS'15, Melbourne, Australia, Oct. 2015, pp. 857-860. doi:10.18429/JACoW-ICALEPCS2015-WEPGF068
Use Complete Form