SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

You are here: SDA Software Engineering Research Group » new_prolog_project

Media Manager

Namespaces

Choose namespace

[root]
- 99
- cache_mathplugin
- cayaking
- cote
- dpdx
- events
- galleries
- graphviz
- heiderbergsee
- infrastruktur
- life
- marcelbecker
- research
- rfidworld
- rule08
- schulen
- service
- teaching
  - curriculum
  - labs
  - lectures
    - alp
    - aosd
    - atsc
      - 2008
      - 2009
      - 2011
      - 2012
      - 2013
    - ise
    - kga
    - oosc
    - oose
    - ore
    - sat
    - se
    - ss08
  - projectgroups
  - seminars
  - urs
- texit
- training

Media Files
Upload
Search

Files in teaching:lectures:atsc

Nothing was found.

View
History

teaching:seminars:vtcs:2017:intro-verification-and-testing-of-complex-systems.pdf

Date:: 2018/02/08 20:48
Filename:: intro-verification-and-testing-of-complex-systems.pdf
Size:: 179KB

References for:: Seminar: "Verification and Testing of Complex Systems"

new_prolog_project.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2023