Login / Signup

Inputs from a Model-Based Approach Towards the Specification of Microservices Logical Architectures: An Experience Report.

Nuno SantosHelena RodriguesNuno FerreiraRicardo J. Machado
Published in: PROFES (2019)
Keyphrases
  • reactive systems
  • petri net
  • databases
  • neural network
  • mobile robot
  • logical framework
  • predicate calculus
  • logical representation
  • logical operations
  • dea models