Browse by Author

Authors (A-Z) Schweizer, Daniel T

4 Results for Schweizer, Daniel T

Subscribe to RSS feed for this result set

1. GIPSY: Generating Integrated Process Support Systems

Murer, Tobias, Würtz, A., Scherer, Daniel Bernhard and Schweizer, Daniel (1996)


Reports

2. OberonT - eine Programmiersprache für sicherheitskritische Systeme

Schweizer, Daniel (1996)


Reports

3. Overapproximating the Cost of Loops

Schweizer, Daniel (2013)


Master Theses

4. Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

Schweizer, Daniel T. (1997)


Doctoral and Habilitation Theses