181.144 Comuter Aided Verification
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2016S, UE, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: UE Exercise

Aim of course

Lab Exercise for the VO "Computer Aided Verification"

 

 

Subject of course

Exercises with Verification Software

Additional information

Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture 181.145, dates will appear there.

ECTS Breakdown:
----------------------------------
60h exercises
15h presentation of exercises
----------------------------------
75h (3 ECTS)
----------------------------------

Lecturers

Institute

Examination modalities

evaluation by your written exercises

Course registration

Begin End Deregistration end
17.06.2016 00:00 30.06.2016 23:59 30.06.2016 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
066 504 Master programme Embedded Systems Not specified
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective
066 938 Computer Engineering Mandatory elective

Literature

No lecture notes are available.

Accompanying courses

Miscellaneous

Language

English