Login / Signup

Integrating Statechart Components in Polyglot.

Daniel BalasubramanianCorina S. PasareanuJason BiatekThomas PressburgerGabor KarsaiMichael R. LowryMichael W. Whalen
Published in: NASA Formal Methods (2012)
Keyphrases
  • data sets
  • three dimensional
  • building blocks
  • test cases
  • database
  • neural network
  • real world
  • machine learning
  • case study
  • video sequences
  • search algorithm
  • object recognition
  • information technology
  • software components