Changes for page 2024/25 Embedded Real-Time Systems and Railway Technology
Last modified by Niklas Rentz on 2025/02/06 08:14
<
>
edited by Niklas Rentz
on 2024/10/22 08:50
on 2024/10/22 08:50
edited by Alexander Schulz-Rosengarten
on 2025/01/23 14:27
on 2025/01/23 14:27
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. nre1 +XWiki.als - Content
-
... ... @@ -60,10 +60,10 @@ 60 60 ==== **Railway** ==== 61 61 62 62 (% style="margin-left: 30.0px;" %) 63 -Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376). 63 +**[assigned] **Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376). 64 64 65 65 (% style="margin-left: 30.0px;" %) 66 -P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292. 66 +**[assigned] **P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292. 67 67 68 68 (% style="margin-left: 30.0px;" %) 69 69 **[assigned] **Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. [[https:~~/~~/doi.org/10.3390/vehicles5030063>>https://doi.org/10.3390/vehicles5030063]] ... ... @@ -177,7 +177,7 @@ 177 177 ))) 178 178 |(% colspan="1" %)(% colspan="1" %) 179 179 ((( 180 -t.b.a. 180 +Mo., 10.02.2025, time t.b.a. 181 181 )))|(% colspan="1" %)(% colspan="1" %) 182 182 ((( 183 183 Final presentations ... ... @@ -231,7 +231,7 @@ 231 231 232 232 === LaTeX === 233 233 234 -Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>> attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.234 +Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[zip archive>>https://cloud.rz.uni-kiel.de/index.php/s/PpmFxJtxYqF2GaX]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper. 235 235 236 236 LaTeX can create a bibliography (it includes scientific publications, which are referenced to prove statements) too. The example includes a file named {{code language="none"}}myrefs.bib{{/code}}, which holds the references. ACM provides a short overview with [[examples>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] of bibliography entries. 237 237