Modelling and Formal Verification of Timing Aspects in Large PLC Programs. Adiego, B. F., Darvas, D., Vinuela, E. B., Tournier, J., Suarez, V. M. G., & Blech, J. O. IFAC Proceedings Volumes, 47(3):3333–3339, 2014.
doi  bibtex   
@article{adiego_modelling_2014,
	title = {Modelling and {Formal} {Verification} of {Timing} {Aspects} in {Large} {PLC} {Programs}},
	volume = {47},
	doi = {10/gh25v9},
	number = {3},
	journal = {IFAC Proceedings Volumes},
	author = {Adiego, Borja Fernandez and Darvas, Daniel and Vinuela, Enrique Blanco and Tournier, Jean-Charles and Suarez, Victor Manuel Gonzalez and Blech, Jan Olaf},
	year = {2014},
	pages = {3333--3339},
}

Downloads: 0