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
Chicago-Zitierstil (17. Ausg.)Moffett, Y., J. Dingel, und 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.
MLA-Zitierstil (9. Ausg.)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.