Citace podle APA (7th ed.)

Moffett, Y., Dingel, J., & Beaulieu, A. (2013). Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE transactions on software engineering, 39(9), 1307-13256. https://doi.org/10.1109/TSE.2013.14

Citace podle Chicago (17th ed.)

Moffett, Y., J. Dingel, a A. Beaulieu. "Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems." IEEE Transactions on Software Engineering 39, no. 9 (2013): 1307-13256. https://doi.org/10.1109/TSE.2013.14.

Citace podle MLA (9th ed.)

Moffett, Y., et al. "Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems." IEEE Transactions on Software Engineering, vol. 39, no. 9, 2013, pp. 1307-13256, https://doi.org/10.1109/TSE.2013.14.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..