181.144 Computer Aided Verification
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2016S, UE, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung

Ziele der Lehrveranstaltung

Laborübung zur gleichnamigen Vorlesung

 

 

Inhalt der Lehrveranstaltung

Uebungen mit Verifikationssoftware

Weitere Informationen

Anmeldung über TISS Studierende der Kennzahlen 931,938 werden bevorzugt. Bitte LVA 181.145 abonnieren; dort erscheinen die Termine.

ECTS Breakdown:
----------------------------------
60h Übungen
15h Übungspräsentationen
----------------------------------
75h (3 ECTS)
----------------------------------

Vortragende Personen

Institut

Leistungsnachweis

Die Beurteilung erfolgt über die abgegebenen Übungen

LVA-Anmeldung

Von Bis Abmeldung bis
17.06.2016 00:00 30.06.2016 23:59 30.06.2016 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 504 Masterstudium Embedded Systems Keine Angabe
066 931 Computational Intelligence Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
066 938 Technische Informatik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

Englisch