uni
suche
sitemap
kontakt
Universität Stuttgart
SZS
|
Kontakt
|
Mitarbeiter
|
Lehre
|
Forschung
|
Veröffentlichungen
|
Tools
|
Institut
|
Fakultät
|
Links
Sichere und Zuverlässige Softwaresysteme
: Veröffentlichungen
Habilitationen
König, Barbara:
Analysis and Verification of Systems with Dynamically Evolving Structure
, Habilitation, 2004.
Letzte Änderung 28. November 2024(
Webmaster
) | © Universität Stuttgart |
Impressum
Webmaster
)
| © Universität Stuttgart |
Impressum