Login / Signup

From Teleo-Reactive specifications to architectural components: A model-driven approach.

Pedro Sánchez-PalmaDiego AlonsoJosé Miguel MoralesPedro Javier Navarro Lorente
Published in: J. Syst. Softw. (2012)
Keyphrases
  • high level
  • commercial off the shelf
  • building blocks
  • formal specification
  • functional requirements
  • neural network
  • real world
  • machine learning
  • data structure
  • operational semantics
  • delay insensitive