Login / Signup
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.
Valentín Valero
Gregorio Díaz
María-Emilia Cambronero
Published in:
IEEE Trans. Software Eng. (2017)
Keyphrases
</>
publish subscribe
timed automata
model checking
loosely coupled
event driven
publish subscribe systems
back end
information dissemination
peer to peer
overlay network
distributed systems
theorem prover
mobile applications
low cost
knowledge base
distributed environment
artificial intelligence
social networks