Browsing by Subject "verification" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 1-4 of 4

«
»

Privacy by Design Architecture Composed of Identity Agents Decentralizing Control over Digital Identity

Toth, Kalman C.; Cavoukian, Ann; Anderson-Priddy, Alan
163-170
A sampling-based approach for handling delays in continuous and hybrid systems

Berani Abdelwahab, Erzana; Fränzle, Martin
289-298
SMT Solvers – A PromisingWay for Verifying User Interfaces?

Bruchertseifer, Jens; Weyers, Benjamin
Tool Support for Correctness-by-Construction

Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
93-94

Now showing items 1-4 of 4

«
»