ISO-690 (author-date, English)

MOFFETT, Yann, DINGEL, Juergen und BEAULIEU, Alain, 2013. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE Transactions on Software Engineering. 1 September 2013. Vol. 39, no. 9, p. 1307-13256. DOI 10.1109/TSE.2013.14.

Elsevier - Harvard (with titles)

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, 1307-13256. https://doi.org/10.1109/TSE.2013.14

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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:1307-13256. https://doi.org/10.1109/TSE.2013.14

Juristische Zitierweise (Stüber) (Deutsch)

Moffett, Yann/ Dingel, Juergen/ Beaulieu, Alain, Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems., IEEE Transactions on Software Engineering 2013, 1307-13256.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.