Reference Search

Favourites

For Word

[n]	B. Fern?índez Adiego, E. Blanco Vi??uela, F. Havart, T. Ladzinski, I. D. Lopez-Miguel, and J-C. Tournier, “Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program”, in Proc. ICALEPCS'21, Shanghai, China, Oct. 2021, pp. 759-763. doi:10.18429/JACoW-ICALEPCS2021-WEPV042

For LaTeX

%\cite{Fern?índez Adiego:ICALEPCS21-WEPV042} \bibitem{Fern?índez Adiego:ICALEPCS21-WEPV042} B. Fern?índez Adiego, E. Blanco Vi??uela, F. Havart, T. Ladzinski, I. D. Lopez-Miguel, and J-C. Tournier, \textquotedblleft{Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program}\textquotedblright, in \emph{Proc. ICALEPCS’21}, Shanghai, China, Oct. 2021, pp. 759--763. \doi{10.18429/JACoW-ICALEPCS2021-WEPV042}

For BibTeX

@inproceedings{fern?índez adiego:icalepcs21-wepv042, author = {B. Fern?índez Adiego and E. Blanco Vi??uela and F. Havart and T. Ladzinski and I. D. Lopez-Miguel and J-C. Tournier}, title = {{Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program}}, booktitle = {Proc. ICALEPCS'21}, pages = {759--763}, paper = {WEPV042}, venue = {Shanghai, China}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {18}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {2}, year = {2022}, issn = {2226-0358}, isbn = {978-3-95-450221-9}, doi = {10.18429/JACoW-ICALEPCS2021-WEPV042}, url = {https://jacow.org/icalepcs2021/papers/WEPV042.pdf}, language = {english} }

References

• B. Fern?índez Adiego, E. Blanco Vi??uela, F. Havart, T. Ladzinski, I. D. Lopez-Miguel, and J-C. Tournier, “Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program”, in Proc. 18th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'21), Shanghai, China, Oct. 2021, pp. 759-763.