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: 16 July 2019 15:17 UTC
Date retrieved: 19 April 2024 22:23 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=2140
Page Version ID: 2140

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, July 16). F-Si wiki, . Retrieved 22:23, April 19, 2024 from https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=2140.

MLA style

"Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design." F-Si wiki, . 16 Jul 2019, 15:17 UTC. 19 Apr 2024, 22:23 <https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=2140>.

MHRA style

F-Si wiki contributors, 'Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design', F-Si wiki, , 16 July 2019, 15:17 UTC, <https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=2140> [accessed 19 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=2140 (accessed April 19, 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 Jul 16, 15:17 UTC [cited 2024 Apr 19]. Available from: https://wiki.f-si.org/index.php?title=Model-Driven_Performance_Evaluation_and_Formal_Verification_for_Multi-level_Embedded_System_Design&oldid=2140.

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=2140 (last visited April 19, 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=2140",
   note = "[Online; accessed 19-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=2140}",
   note = "[Online; accessed 19-April-2024]"
 }