Browsing Publikationsnachweise by Person "Reif, Wolfgang"

Now showing items 1-5 of 5

Designing Self-healing in Automotive Systems

Seebach, Hella et al. (2010)

Beitrag zu einer Konferenz
Do You Trust Your Model Checker?

Reif, Wolfgang et al. (2000)

Beitrag zu einer Konferenz
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

Reif, Wolfgang (1998)

Wissenschaftlicher Artikel
Verification of a Formal Security Model for Multiapplicative Smart Cards

Schellhorn, Gerhard et al. (2000)

Beitrag zu einer Konferenz
Verifying Concurrent Systems with Symbolic Execution

Balser, Michael et al. (2000)

Beitrag zu einer Konferenz