Login / Signup

Unified Syntax for Abstract State Machines.

Paolo ArcainiSilvia BonfantiMarcel DausendAngelo GargantiniAtif MashkoorAlexander RaschkeElvinia RiccobenePatrizia ScandurraMichael Stegmaier
Published in: ABZ (2016)
Keyphrases
  • image processing
  • natural language
  • machine learning
  • genetic algorithm
  • cooperative
  • computational complexity
  • lower bound
  • management system
  • programming language
  • unified model
  • operational semantics