Commits · master · Jan Leuschner / TEAMOD-MA

05 Oct, 2020 1 commit
- network sim · e4b4e04f
  Tobias Wegner authored Oct 05, 2020
  
  e4b4e04f
10 Jul, 2020 2 commits
- Hier. · 8f4d11cf
  jakropp authored Jul 10, 2020
  
  8f4d11cf
- büchie->büchi, true-selfloops in accept states · fc2f1980
  Patrick Wilde authored Jul 10, 2020
  
  fc2f1980
07 Jul, 2020 5 commits
- noch ein paar abbildungen · 63ea5576
  Jan Leuschner authored Jul 07, 2020
  
  63ea5576
- hotfix · a9b4a302
  Felix Brüning authored Jul 07, 2020
  
  a9b4a302
- folien update · d162d95a
  Patrick Wilde authored Jul 07, 2020
  
  d162d95a
- Folien und Bilder für den Projekttag hinzugefügt. · 202f767e
  jakropp authored Jul 07, 2020
  
  202f767e
- FDR4 kapitel, sowie Tes tdes safety-monitors verbessert · 7030b4db
  Felix Brüning authored Jul 07, 2020
  
  7030b4db
05 Jul, 2020 1 commit
- Güter- und Passagierzug Abschnitt angepasst · 250f8a69
  Matthias Lange authored Jul 05, 2020
  
  250f8a69
03 Jul, 2020 6 commits
- Merge branch 'master' of gitlab.informatik.uni-bremen.de:leuschja/teamod-ma · 96f5f464
  Felix Brüning authored Jul 03, 2020
```
# Conflicts:
#	presentations/Projekttag/beamer.pdf
```
  96f5f464
- FDR4 kapitel verbessert · 756629cf
  Felix Brüning authored Jul 03, 2020
  
  756629cf
- hotfix too · 1a941432
  Patrick Wilde authored Jul 03, 2020
  
  1a941432
- hotfix · c3853daa
  Felix Brüning authored Jul 03, 2020
  
  c3853daa
- added sut-function · 38184272
  Patrick Wilde authored Jul 03, 2020
  
  38184272
- meine folien · 12faa72f
  Patrick Wilde authored Jul 03, 2020
  
  12faa72f
02 Jul, 2020 5 commits
- Modelchecking mit nuXmv etwas gekürzt · 3786b756
  Matthias Lange authored Jul 02, 2020
  
  3786b756
- erweiterung folien · bbb37362
  Jan Leuschner authored Jul 02, 2020
  
  bbb37362
- frametitle · e2edf40f
  Felix Brüning authored Jul 02, 2020
  
  e2edf40f
- PSDU, FDR4 Kapitel · c433c54f
  Felix Brüning authored Jul 02, 2020
  
  c433c54f
- slides Bachelor PT · 4b4ed93c
  Felix Brüning authored Jul 02, 2020
  
  4b4ed93c
01 Jul, 2020 1 commit
- HIL presentation · 8fefa81a
  Jan Leuschner authored Jul 01, 2020
  
  8fefa81a
29 Jun, 2020 1 commit
- Safety Env Folien · b41699cb
  Tobias Wegner authored Jun 29, 2020
  
  b41699cb
27 Jun, 2020 1 commit
- Folien für Projekttag angelegt · 605c0ec5
  Matthias Lange authored Jun 27, 2020
  
  605c0ec5
18 Jun, 2020 8 commits
- fixed citation RVconf19 · 51fe4aad
  Tobias Wegner authored Jun 18, 2020
  
  51fe4aad
- fazit, hil pi, safety-fsm kapitel · 8cda8082
  Jan Leuschner authored Jun 18, 2020
  
  8cda8082
- kap 3 ixl · 224fc0b7
  Jan Leuschner authored Jun 18, 2020
  
  224fc0b7
- Merge branch 'master' of gitlab.informatik.uni-bremen.de:leuschja/teamod-ma · 0a438dc0
  Matthias Lange authored Jun 18, 2020
  
  0a438dc0
- Korrektur eigene Kapitel · 5ac3e53b
  Matthias Lange authored Jun 18, 2020
  
  5ac3e53b
- safety monitor change · 1c1191f3
  Patrick Wilde authored Jun 18, 2020
  
  1c1191f3
- Korrektur 4.1, 4.2, 4.3 · 9a8dfaf4
  Felix Brüning authored Jun 18, 2020
  
  9a8dfaf4
- Viele viele Verbesserungen · 7948166d
  Felix Brüning authored Jun 18, 2020
  
  7948166d
17 Jun, 2020 8 commits
- 2. Ite 8.3.1 Kapitel · a219fdc4
  Jan Leuschner authored Jun 17, 2020
  
  a219fdc4
- 2. Ite 7.Kapitel · a6c672af
  Jan Leuschner authored Jun 17, 2020
  
  a6c672af
- 2. Ite 1.Kapitel · bef8939c
  Jan Leuschner authored Jun 17, 2020
  
  bef8939c
- chap 8.1, 8.4, 10, 11 · cba30c31
  Tobias Wegner authored Jun 17, 2020
  
  cba30c31
- [3.1] Anführungszeichen verbessert, formatierung. · 892833f6
  Felix Brüning authored Jun 17, 2020
  
  892833f6
- Verbesserungen · 838f163d
  Felix Brüning authored Jun 17, 2020
  
  838f163d
- Diagramm berichtigt · af3b8fb5
  Jan Leuschner authored Jun 17, 2020
  
  af3b8fb5
- Kapitel 8.2.2. 8.3.1 und 11 korrekturgelesen. · 74b7bcc5
  jakropp authored Jun 17, 2020
  
  74b7bcc5
16 Jun, 2020 1 commit
- Korrektur Kapitel 9 · d143409a
  Matthias Lange authored Jun 16, 2020
  
  d143409a