Kardoš, M., & Frištacký, N. (2005). Automated Formal Verification for UML-based Model Driven Design of Embedded Systems. STU v Bratislave FIIT.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma Chicago
Kardoš, Martin, and Norbert Frištacký. Automated Formal Verification for UML-based Model Driven Design of Embedded Systems. STU v Bratislave FIIT, 2005.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma MLA
Kardoš, Martin, and Norbert Frištacký. Automated Formal Verification for UML-based Model Driven Design of Embedded Systems. STU v Bratislave FIIT, 2005.
Successfully copied to clipboard
Copying to clipboard failed
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.