Login / Signup

RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis.

Fateh LatrecheFaiza Belala
Published in: Int. J. Embed. Real Time Commun. Syst. (2014)
Keyphrases
  • data analysis
  • image analysis
  • statistical analysis
  • web services composition
  • timed automata
  • object oriented
  • domain specific
  • orders of magnitude
  • highly reliable
  • reachability analysis