Personer med emneord «safety verification»

Navn Telefon E-post Emneord
Johansen, Christian Forsker +47-22850481 cristi@ifi.uio.no security, privacy, concurrency models, formal methods, safety verification, automated tools, logic in computer science, process algebras, semantics of programming languages, security ceremonies, access control
RSS-strøm fra denne siden