Benutzerbeiträge von „Andrea Kühn“

19. Juni 2026

• 14:1714:17, 19. Jun. 2026 Unterschied Versionen −378 SEMECO-Q1 Keine Bearbeitungszusammenfassung aktuell
• 14:1114:11, 19. Jun. 2026 Unterschied Versionen +4 SEMECO-Q1 TrustMod Keine Bearbeitungszusammenfassung aktuell
• 14:1114:11, 19. Jun. 2026 Unterschied Versionen 0 N Datei:Semeco trustmod.png Keine Bearbeitungszusammenfassung aktuell
• 13:5813:58, 19. Jun. 2026 Unterschied Versionen +10 SEMECO-Q1 TrustMod Keine Bearbeitungszusammenfassung
• 13:5613:56, 19. Jun. 2026 Unterschied Versionen +62 SEMECO-Q1 TrustMod Keine Bearbeitungszusammenfassung
• 13:5113:51, 19. Jun. 2026 Unterschied Versionen +872 N SEMECO-Q1 TrustMod Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Secure Medical Microsystems and Communications: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architectures |Beschreibung DE=Weitere Informationen finden Sie auf der [https://semeco.info/projekte/secure-and-trustworthy-system-architectures/ externen Projektwebsite]. |Beschreibung EN=For more information, see the [https://semeco.info/…“
• 13:4613:46, 19. Jun. 2026 Unterschied Versionen +19 SEMECO-Q1 Keine Bearbeitungszusammenfassung

23. September 2025

• 14:0414:04, 23. Sep. 2025 Unterschied Versionen +1 Teamprojekt "Model Checking" (WS2025) Keine Bearbeitungszusammenfassung
• 13:3313:33, 23. Sep. 2025 Unterschied Versionen +4 Profilprojekt Grundlagenforschung (WS2025) Keine Bearbeitungszusammenfassung
• 13:2713:27, 23. Sep. 2025 Unterschied Versionen +64 Seminar "Selected Topics in Logic and Verification" (WS2025) Keine Bearbeitungszusammenfassung
• 13:2213:22, 23. Sep. 2025 Unterschied Versionen +18 Laborkurs "Modeling and Automated Verification" (WS2025) Keine Bearbeitungszusammenfassung
• 13:1613:16, 23. Sep. 2025 Unterschied Versionen +9 Komplexpraktikum "Modellierung und quantitative Systemanalyse I" (WS2025) Keine Bearbeitungszusammenfassung
• 13:1413:14, 23. Sep. 2025 Unterschied Versionen +6 Lecture "Model Checking" (WS2025) Keine Bearbeitungszusammenfassung
• 13:1313:13, 23. Sep. 2025 Unterschied Versionen +9 Komplexpraktikum "Modellierung und quantitative Systemanalyse II" (WS2025) Keine Bearbeitungszusammenfassung
• 13:0813:08, 23. Sep. 2025 Unterschied Versionen +9 Forschungsprojekt: Algebraische und logische Grundlagen der Informatik (WS2025) Keine Bearbeitungszusammenfassung
• 13:0613:06, 23. Sep. 2025 Unterschied Versionen 0 Forschungsprojekt: Algebraische und logische Grundlagen der Informatik (WS2025) Keine Bearbeitungszusammenfassung
• 13:0313:03, 23. Sep. 2025 Unterschied Versionen +6 Lecture "Modal Logic" (WS2025) Keine Bearbeitungszusammenfassung
• 13:0113:01, 23. Sep. 2025 Unterschied Versionen +6 Lecture "Model Checking" (WS2025) Keine Bearbeitungszusammenfassung
• 13:0013:00, 23. Sep. 2025 Unterschied Versionen +1 Lecture "Model Checking" (WS2025) Keine Bearbeitungszusammenfassung
• 12:5912:59, 23. Sep. 2025 Unterschied Versionen 0 Lecture "Model Checking" (WS2025) Keine Bearbeitungszusammenfassung
• 12:5912:59, 23. Sep. 2025 Unterschied Versionen +35 Lecture "Modal Logic" (WS2025) Keine Bearbeitungszusammenfassung
• 12:4312:43, 23. Sep. 2025 Unterschied Versionen −1 CMS Research Project Model Checking (WS2025) Keine Bearbeitungszusammenfassung

17. März 2025

• 14:4114:41, 17. Mär. 2025 Unterschied Versionen 0 Proseminar „Binäre Entscheidungsgraphen“ (SS2025) Keine Bearbeitungszusammenfassung
• 14:2514:25, 17. Mär. 2025 Unterschied Versionen −8 Team Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2414:24, 17. Mär. 2025 Unterschied Versionen +8 Team Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2414:24, 17. Mär. 2025 Unterschied Versionen +8 Seminar “Selected Topics in Logic and Verification” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2314:23, 17. Mär. 2025 Unterschied Versionen +8 Research Seminar “Formal Methods” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2314:23, 17. Mär. 2025 Unterschied Versionen 0 Proseminar “Theoretische Informatik” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2214:22, 17. Mär. 2025 Unterschied Versionen +8 Profilprojekt “Research Project Formal Methods” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2214:22, 17. Mär. 2025 Unterschied Versionen +8 Lab Course “Modeling and Automated Verification” (SS2025) Keine Bearbeitungszusammenfassung
• 14:2114:21, 17. Mär. 2025 Unterschied Versionen +8 Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (SS2025) Keine Bearbeitungszusammenfassung aktuell
• 14:2114:21, 17. Mär. 2025 Unterschied Versionen +8 Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS2025) Keine Bearbeitungszusammenfassung aktuell
• 14:2014:20, 17. Mär. 2025 Unterschied Versionen +8 CMS Research Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 14:1914:19, 17. Mär. 2025 Unterschied Versionen +8 Advanced Logics (SS2025) Keine Bearbeitungszusammenfassung
• 14:1614:16, 17. Mär. 2025 Unterschied Versionen 0 Proseminar „Binäre Entscheidungsgraphen“ (SS2025) Keine Bearbeitungszusammenfassung
• 14:1414:14, 17. Mär. 2025 Unterschied Versionen 0 Advanced Logics (SS2025) Keine Bearbeitungszusammenfassung
• 14:1114:11, 17. Mär. 2025 Unterschied Versionen 0 Proseminar „Binäre Entscheidungsgraphen“ (SS2025) Keine Bearbeitungszusammenfassung
• 14:1114:11, 17. Mär. 2025 Unterschied Versionen 0 Proseminar “Theoretische Informatik” (SS2025) Keine Bearbeitungszusammenfassung
• 14:1014:10, 17. Mär. 2025 Unterschied Versionen +25 Team Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 14:0614:06, 17. Mär. 2025 Unterschied Versionen +7 Team Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 13:5213:52, 17. Mär. 2025 Unterschied Versionen +287 Seminar “Selected Topics in Logic and Verification” (SS2025) Keine Bearbeitungszusammenfassung
• 13:4813:48, 17. Mär. 2025 Unterschied Versionen +9 Lab Course “Modeling and Automated Verification” (SS2025) Keine Bearbeitungszusammenfassung
• 13:3513:35, 17. Mär. 2025 Unterschied Versionen 0 Research Seminar “Formal Methods” (SS2025) Keine Bearbeitungszusammenfassung
• 13:2713:27, 17. Mär. 2025 Unterschied Versionen +2 Profilprojekt “Research Project Formal Methods” (SS2025) Keine Bearbeitungszusammenfassung
• 12:4712:47, 17. Mär. 2025 Unterschied Versionen 0 Lab Course “Modeling and Automated Verification” (SS2025) Keine Bearbeitungszusammenfassung
• 12:4312:43, 17. Mär. 2025 Unterschied Versionen 0 Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (SS2025) Keine Bearbeitungszusammenfassung
• 12:4212:42, 17. Mär. 2025 Unterschied Versionen 0 Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS2025) Keine Bearbeitungszusammenfassung
• 12:1812:18, 17. Mär. 2025 Unterschied Versionen 0 CMS Research Project “Model Checking” (SS2025) Keine Bearbeitungszusammenfassung
• 12:1312:13, 17. Mär. 2025 Unterschied Versionen 0 Advanced Logics (SS2025) Keine Bearbeitungszusammenfassung
• 12:0012:00, 17. Mär. 2025 Unterschied Versionen 0 Andrea Kühn Keine Bearbeitungszusammenfassung aktuell