Changes for page 2020/21 Synchronous Languages

Last modified by Alexander Schulz-Rosengarten on 2025/01/30 11:58

From version < 5.1 >

edited by lgr
on 2020/06/17 14:56

To version < 4.1 >

edited by Alexander Schulz-Rosengarten
on 2020/06/15 08:09

Change comment: There is no comment for this version

Raw
Rendered

Summary

Page properties (3 modified, 0 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Title

@@ -1,1 +1,1 @@
--WS20/21 (Synchronous Languages)
++WS20/21 (Synchrone Sprachen)

Author

@@ -1,1 +1,1 @@
--XWiki.lgr
++XWiki.als

Content

@@ -1,35 +1,23 @@
  \\
  (% class="bodytext" style="text-align: left;" %)
--\\
++(% style="color: rgb(34,34,34);" %)Der Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.
--(% class="bodytext" style="text-align: left;" %)
--The purpose of this seminar is to independently scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
  (% class="bodytext" style="text-align: left;" %)
--This seminar is a bachelor and master module at the same time. Compared to the bachelor seminar, we expect that master students include more related work and therefore write a longer paper and hold a longer presentation (see below).
++Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).
--(% class="bodytext" style="text-align: left;" %)
--\\
--
  (% style="text-align: left;" %)
--== Prerequisites ==
++== Voraussetzungen ==
--This seminar is build upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
++Für die Bearbeitung der Themen ist der erfolgte Besuch der Vorlesung Eingebettete Echtzeitsysteme nicht zwingend, es sollten jedoch die für das konkrete Thema relevanten Inhalte der Vorlesung nachgearbeitet werden. Die DozentInnen helfen hier natürlich gerne weiter.
--
--
--Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
--
  (% style="text-align: left;" %)
--\\
++Wir empfehlen zudem den Besuch der Blockveranstaltung **Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten** von Frau Peters.
  (% style="text-align: left;" %)
--Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Mr. Mazarakis.
++== Dozenten ==
--(% style="text-align: left;" %)
--== Lecturers ==
--
  (% class="bodytext" style="text-align: left;" %)
  Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) (%%)
  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
@@ -36,21 +36,21 @@
  Lena Grimm ([[lgr@informatik.uni-kiel.de>>mailto:lgr@informatik.uni-kiel.de||shape="rect"]])
  (% style="text-align: left;" %)
--== Topics ==
++== Themen ==
  (% class="bodytext" style="text-align: left;" %)
--You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
++Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
  (% class="bodytext" style="text-align: left;" %)
--The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Alexander ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]]) in order to reserve a paper.
++Um ein Paper zu reservieren, bitte eine Mail an Alexander ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]]) schicken.
  (% class="bodytext" style="text-align: left;" %)
--Many of the links do only work in the university network. Through the usage of a [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] or a remote session to the [[terminal server>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]], those are also accessible from home. If any problems occur feel free to contact us.
++Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.
  (% class="bodytext" style="text-align: left;" %)
--\\
++Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Mithilfe eines [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] oder über eine remote Session zum [[Terminalserver>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]] des Instituts sind diese aber auch von Zuhause aus erreichbar. Bei Problemen sonst einfach Bescheid sagen.
--=== Bachelor Recommendations ===
++=== Bachelor Empfehlung ===
  (% style="margin-left: 30.0px;" %)
  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015
@@ -76,7 +76,7 @@
  (% style="margin-left: 30.0px;" %)
  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval,(% style="color: rgb(0,0,0);" %) [[WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)In //Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium// (RTAS 2014), Berlin, Germany, 2014
--=== Master Recommendations ===
++=== Master Empfehlung ===
  (% style="margin-left: 30.0px;" %)
  (% style="color: rgb(0,51,102);" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq||shape="rect"]],(% style="color: rgb(0,51,102);" %) Software & Systems Modeling 2019(%%)
@@ -113,18 +113,18 @@
  (% style="margin-left: 30.0px;" %)
  (% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
--== Schedule ==
++== Termine ==
  (% class="wrapped fixed-table" %)
  |=(((
--Date
++Datum
  )))|=(((
--Milestone
++Meilenstein
  )))
  |(((
  Tue. 03.11., 11:50
  )))|(((
--First Meeting/Kick-Off, Latex/EasyChair Introduction
++Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, Location: TBA
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -131,12 +131,12 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--Deadline for topic selection (via email to Alexander)
++Ende der Frist für die Themenauswahl (per Email an Alexander)
  )))
  |(((
  TBA
  )))|(((
--(% style="color: rgb(23,43,77);" %)Deadline of the first draft in EasyChair(%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
++Abgabe Ausarbeitungsgerüst in EasyChair. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -143,7 +143,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--Individual Dates
++Individualtermine, CAP 4, R. 1110
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -150,7 +150,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Deadline of the first full version (%%)(submission update in EasyChair)
++Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair)
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -157,7 +157,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Individual dates
++Individualtermine, CAP 4, R. 1110
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -164,14 +164,14 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Deadline of the review version(%%) (submission update in EasyChair) and admission to program committee (invitation via email)
++Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail)
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)subsequently
++anschließend
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Review assignment(%%) (via email)**
++Zuordnung Ausarbeitungen/Reviewer (per Email)**
  **
  )))
  |(% colspan="1" %)(% colspan="1" %)
@@ -179,7 +179,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Talk on how to do good talks/presentations
++Vortrag zur Gestaltung einer guten Präsentation. Ort: CAP 4, R. 910
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -186,7 +186,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Deadline reviews(%%) (in EasyChair)**
++Abgabe der Reviews (in EasyChair)**
  **
  )))
  |(% colspan="1" %)(% colspan="1" %)
@@ -194,7 +194,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Individual dates for presentation slides(%%). The slides need to be available online or sent to the advisor beforehand (as PDF).
++Individualtermine zur Besprechung der Vortragsfolien, CAP 4, R. 1110. Die Folien müssen zum Besprechungstermin entweder auf dem eigenen Rechner mitgebracht oder vorher als PDF per Mail geschickt werden.
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -201,7 +201,7 @@
  TBA
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)Deadline final version (%%)(submission update in EasyChair)
++Abgabe der Endversionen der Ausarbeitungen (Submission-Update in EasyChair)
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -208,69 +208,68 @@
  Mon. 01.03., all-day
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--Final Presentations
++Ganztägiges Blockseminar mit Vorträgen. Location: TBA
  )))
--== The Final Presentations ==
++== Agenda des Blockseminars ==
--(% style="color: rgb(23,43,77);" %)Currently, it is unclear how the talks will take place. This will be influenced by the development of the pandemic. We can think of recorded videos or a live conference or other alternatives.
++Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Seminartag ist Pflicht.
++Jede teilnehmende Person erhält die Proceedings des laufenden Seminars.\\
--Usually, the presentation of the prepared topic is held during a block seminar. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.\\
--
  **TBA**
--== Papers, Talks, Review ==
++== Ausarbeitung, Vortrag, Review ==
--(% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
++Das Seminar umfasst die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
--=== Paper ===
++=== Ausarbeitung ===
--The paper should provide an overview of the chosen topic. It should be written in a style that late bachelor student can understand it. The paper should be 6 (master) or 4 (bachelor) pages long (including bibliography), not more not less, and it should use the ACM LaTeX-style (more details below). We advise you to read the [[writing advice>>doc:RTSYS.Writing and Grading Theses||shape="rect"]] for writing a thesis.
++Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, einschließlich Bibliographie, nicht mehr und nicht weniger. Zudem muss der ACM LaTeX-Style verwendet werden (dazu mehr Details weiter unten). Generell empfehlenswert ist ein Blick in die [[Hinweise>>url:http://rtsys.informatik.uni-kiel.de/confluence/x/jwBe||shape="rect" class="external-link-new-window None internal-link None"]] für die Anfertigung einer Abschlussarbeit.
--=== Talk ===
++=== Vortrag ===
--The talk should be 40 minutes (master) or 25 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.\\
++Der Vortrag soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.
--You can freely choose your presentation tool. Therefore, for the individual dates on the presentation slides it would be best to to use your own computer. If the slides are provided as PDF beforehand, a different computer could be used.
++Die Wahl eines geeigneten Präsentationstools ist frei. Bei der Besprechung der Vortragsfolien und dem Vortag beim Blocksemiar sollte daher der eigene Rechner genutzt werden. Wenn die Präsentation vorher als PDF per Mail an einen Betreuer geschickt wird, dann kann ein vorhandener Rechner genutzt werden.
++Falls Online-Tools genutzt werden, sei darauf hingewiesen, dass beim Blockseminar in Falckenstein kein WLAN Zugang zur Verfügung steht. Der Vortrag muss daher auch offline gehalten werden können.
++Der Vortrag kann sowohl in Deutsch als auch Englisch gehalten werden.
--Especially when using online tools, note that the block seminar might take place in Falckenstein and that there is no WLAN access. Therefore, the presentations must allow to be held offline.
--
--The talk can be held in English or German.
--
  === Review ===
--A review consist of two parts:
++Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:
--1. General comments (what do you like/ not like regarding content, structure, and readability) as well as general suggestions to improve the paper
--1. In detail remarks and corrections
++1. Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
++1. Detailliertere Korrekturen
--The first part of the review should be at least half an A4 page long. It should be written in full text and not only consist of notes. The review content should be similar to the review you get during the individual dates, however, it should be more in detail and with a clear focus on content, structure, and readability of the paper.
++Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. Es soll ein ausformulierter Text sein und nicht nur aus Stichpunkten bestehen. Inhaltlich ähnelt es dem, was auch in den Individualterminen besporchen wird, nur etwas ausfühlicher und mit klarem Fokus auf Aufbau, Inhalt und Verständlichkeit des Papers.
--It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
++In dem Review-Fomular von EasyCair können keine Dateien angehängt werden, es kann also kein annotiertes pdf als Detail-Korrektur angehängt werden.
--The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
++Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
--== Grades ==
++== Benotung ==
--This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
++Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen.
--== Technical Details ==
++\\
++== Technische Details ==
++
  === LaTeX ===
--Your papers should be created using LaTeX and have to be in the 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.
++Ihre Ausarbeitungen sind mit Hilfe von LaTeX zu verfassen und müssen den Stil der ACM benutzen. In [[dieser ZIP-Datei>>attach:paper-template.zip]] finden Sie alle benötigten Dateien dafür, inklusive eines Beispiel-Dokuments, welches hilfreiche LaTeX-Tips für den Anfang enthält. Kopieren Sie die Dateien in ein beliebiges Verzeichnis und fangen Sie an, Ihre Ausarbeitung zu schreiben.
--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.
++Für die Bibliographie (enthält wissenschaftliche Publikationen, die referenziert werden, um Quellen zu belegen) bietet LaTeX ebenfalls Lösungen. Im Beispiel finden Sie eine Datei namens {{code language="none"}}myrefs.bib{{/code}}, in welche Referenzen ausgelagert wurden. Die ACM bietet [[eine kurze Übersicht>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] mit Beispielen zum Schreiben von Bibliographie-Einträgen.
--While writing your paper keep the following in mind:
++Beachten Sie beim Verfassen Ihrer Ausarbeitung insbesondere folgende Punkte:
--* Think about whether you want to write your paper in German or English and make use to use the corresponding ACM-style.
--* Graphics from your original paper should not just be screenshotted and added to your paper. Ideally, you create your own graphic (ideally as a vector graphic) to have good quality graphics.
--* A paper always consists of an introduction, at least one main chapter, and a conclusion.
++* Überlegen Sie, ob Sie die Ausarbeitung auf Deutsch oder auf Englisch verfassen wollen und verwenden Sie die entsprechende Version des ACM-Stils.
++* Grafiken aus Ihrem Paper sollten Sie nicht einfach per Screenshot in Ihre Ausarbeitung befördern. Idealerweise bauen Sie Grafiken neu (idealerweise als Vektorgrafik), damit sie eine ordentliche Qualität haben statt als Pixelhaufen zu enden.
++* Eine ordentliche Ausarbeitung enthält eine Zusammenfassung, eine Einleitung, mindestens ein Hauptkapitel, und eine Zusammenfassung.
  === EasyChair Tutorial ===
--You can find our seminar in EasyChair [[here>>url:https://easychair.org/my/conference?conf=kielrtsyssem20ss||shape="rect"]].
++Unser Seminar findet ihr im EasyChair-System: [[Link TBA>>url:https://rtsys.informatik.uni-kiel.de/confluence/pages/editpage.action?pageId=75694256||shape="rect"]].
  {{expand title="Klicke hier zum ausklappen..."}}
  \\
@@ -282,9 +282,9 @@
  \\
--== Resources ==
++== Weiterführende Hinweise / Links ==
--In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
++Generell ist es empfehlenswert, aus dem Uni-Netz heraus nach verwandten Publikationen zu suchen, da man hier Zugriff auf einige Online-Blbliotheken bekommt. Zur Suche empfehlen sich folgende Suchmaschinen und Seiten:
  * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
  * dblp: [[http:~~/~~/dblp.uni-trier.de/>>url:http://dblp.uni-trier.de/||shape="rect"]]

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--75694299
++75694298

URL

@@ -1,1 +1,1 @@
--https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/75694299/WS20/21 (Synchronous Languages)
++https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/75694298/WS20/21 (Synchrone Sprachen)

Changes for page 2020/21 Synchronous Languages

Summary

Details

Navigation

Quick Links