Login / Signup
Temporal Logic Framework for Performance Analysis of Architectures of Systems.
Ariane Piel
Jean Bourrely
Stéphanie Lala
Sylvain Bertrand
Romain Kervarc
Published in:
NFM (2016)
Keyphrases
</>
temporal logic
model checking
distributed systems
modal logic
reactive systems
web services
satisfiability problem
concurrent systems