Login / Signup

Temporal Logic Framework for Performance Analysis of Architectures of Systems.

Ariane PielJean BourrelyStéphanie LalaSylvain BertrandRomain Kervarc
Published in: NFM (2016)
Keyphrases
  • temporal logic
  • model checking
  • distributed systems
  • modal logic
  • reactive systems
  • web services
  • satisfiability problem
  • concurrent systems