Cite This Page
Bibliographic details for Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
- Page name: Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
- Author: F-Si wiki contributors
- Publisher: F-Si wiki, .
- Date of last revision: 4 February 2019 08:53 UTC
- Date retrieved: 26 April 2024 14:01 UTC
- Permanent URL: https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673
- Page Version ID: 1673
Citation styles for Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
APA style
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. (2019, February 4). F-Si wiki, . Retrieved 14:01, April 26, 2024 from https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673.
MLA style
"Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design." F-Si wiki, . 4 Feb 2019, 08:53 UTC. 26 Apr 2024, 14:01 <https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673>.
MHRA style
F-Si wiki contributors, 'Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design', F-Si wiki, , 4 February 2019, 08:53 UTC, <https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673> [accessed 26 April 2024]
Chicago style
F-Si wiki contributors, "Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design," F-Si wiki, , https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673 (accessed April 26, 2024).
CBE/CSE style
F-Si wiki contributors. Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design [Internet]. F-Si wiki, ; 2019 Feb 4, 08:53 UTC [cited 2024 Apr 26]. Available from: https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673.
Bluebook style
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design, https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673 (last visited April 26, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "F-Si wiki", title = "Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design --- F-Si wiki{,} ", year = "2019", url = "https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673", note = "[Online; accessed 26-April-2024]" }
When using the LaTeX package url (\usepackage{url}
somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:
@misc{ wiki:xxx, author = "F-Si wiki", title = "Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design --- F-Si wiki{,} ", year = "2019", url = "\url{https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=1673}", note = "[Online; accessed 26-April-2024]" }