Login / Signup

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees.

Flávio OquendoJérémy BuissonElena LerouxGersan Moguérou
Published in: SoSE (2018)
Keyphrases
  • software intensive systems
  • case study
  • distributed systems
  • formal methods
  • e learning
  • reinforcement learning
  • cooperative
  • expert systems
  • software engineering
  • learning systems
  • load balancing