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
Chicago Style (17th ed.) Citation
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
MLA (9th ed.) Citation
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
Warning: These citations may not always be 100% accurate.