Reference Search

Reference

For Word

[n]	F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, and P. Ninin, “Formal Methodology for Safety-Critical Systems Engineering at CERN”, in Proc. ICALEPCS'13, San Francisco, CA, USA, Oct. 2013, paper TUCOCA04, pp. 918-921.

For LaTeX

%\cite{Valentini:ICALEPCS13-TUCOCA04} \bibitem{Valentini:ICALEPCS13-TUCOCA04} F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, and P. Ninin, \textquotedblleft{Formal Methodology for Safety-Critical Systems Engineering at CERN}\textquotedblright, in \emph{Proc. ICALEPCS’13}, San Francisco, CA, USA, Oct. 2013, paper TUCOCA04, pp. 918--921.

For BibTeX

@inproceedings{valentini:icalepcs13-tucoca04, author = {F. Valentini and T. Hakulinen and L. Hammouti and T. Ladzinski and P. Ninin}, title = {{Formal Methodology for Safety-Critical Systems Engineering at CERN}}, booktitle = {Proc. ICALEPCS'13}, pages = {918--921}, paper = {TUCOCA04}, venue = {San Francisco, CA, USA, Oct. 2013}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/ICALEPCS2013/papers/TUCOCA04.pdf}, language = {english} }

Use Complete Form

Metadata

Paper Title: Formal Methodology for Safety-Critical Systems Engineering at CERN
Paper URL: https://jacow.org/ICALEPCS2013/papers/TUCOCA04.pdf
Conference: 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13)
Paper ID: TUCOCA04
Location in proceedings: 918-921
Original Author String: F. Valentini, T. Hakulinen, L. Hammouti, T. Ladzinski, P. Ninin [CERN, Geneva, Switzerland]

Associated Authors

Back to the list