Login / Signup

Formal Specification and Analysis of Trusted Communities.

Jan-Philipp SteghöferFlorian NafzWolfgang ReifYvonne BernardLukas KlejnowskiJörg HähnerChristian Müller-Schloer
Published in: SASO Workshops (2010)
Keyphrases
  • formal specification
  • database
  • machine learning
  • social networks
  • case study
  • relational databases
  • software engineering
  • process algebra
  • specification languages